Es sei M ⊆ R n {\displaystyle {}M\subseteq \mathbb {R} ^{n}} eine abgeschlossene riemannsche Untermannigfaltigkeit. Dann induzierte jede lineare Isometrie des R n {\displaystyle {}\mathbb {R} ^{n}} eine Isometrie von M {\displaystyle {}M} nach φ ( M ) {\displaystyle {}\varphi (M)} .
