Lemma 21.9
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 21 Euklidischer Vektorraum/Isometrie/Orthogonales Komplement/Fakt