Euklidischer Vektorraum/Orthonormalisierungsverfahren/Fakt/Beweis/Aufgabe