Kurs:Invariantentheorie (Osnabrück 2012-2013)/Unitärer Vektorraum/Isometrie/Orthogonales Komplement/Fakt/Faktreferenznummer

Lemma 34.6 (Lineare Algebra (Osnabrück 2015-2016))