Kurs:Differentialgeometrie/Hyperfläche/Kurve/Anfangstangentenvektor/Paralleles Vektorfeld/Existenz/Fakt/Faktreferenznummer

Satz 6.9 (Differentialgeometrie (Osnabrück 2023))