Kurs:Lineare Algebra (Osnabrück 2015-2016)/Euklidischer Vektorraum/Isometrie/Orthogonales Komplement/Fakt/Faktreferenznummer