Lemma 18.6
Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 18 Riemannsche Mannigfaltigkeit/Isometrie/Grundlegende Eigenschaften/Fakt