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

Lemma 6.7 (Differentialgeometrie (Osnabrück 2023))