>>400
微分幾何でそのようなことを扱う
直観をどのような範囲で意味するかによるが
「気持ちとしては明らか」かもしれないがそれを
数学の問題として定式化して証明をつけたりするのは
決して自明ではない