Vektorraum mit Skalarprodukt/Endliche Dimension/Orthonormalisierungsverfahren/Fakt/Name