Satz 31.15
Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil II/Vorlesung 31
Euklidischer Vektorraum/Orthonormalisierungsverfahren/Fakt