Vektorraum mit Skalarprodukt/Endliche Dimension/Orthonormalisierungsverfahren/Fakt/Beweis/Aufgabe