Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Euklidischer Vektorraum/Orthonormalisierungsverfahren/Fakt/Faktreferenznummer