Vektorraum mit Skalarprodukt/Endliche Dimension/Orthonormalbasis/Existenz/Fakt/Beweis

Beweis

Dies folgt direkt aus Fakt.