Satz 21.8
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 21 Euklidischer Vektorraum/R^3/Eigentliche Isometrie/Fakt