Hyperfläche/Geodätische/Direkt und über Zusammenhang/Fakt

Es sei $W \subseteq ℝ^{n}$ offen, $h : W \to ℝ$ eine stetig differenzierbare Funktion und $Y = h^{- 1} (c)$ die Faser zu $c \in ℝ$ , wobei $h$ in jedem Punkt von $Y$ regulär sei.

Dann stimmen die Geodätischen in $Y$ im Sinne von Definition mit den Geodätischen im Sinne von Definition überein.