Hermitesche Form/Orthogonalbasis/Fakt

Es sei ein endlichdimensionaler -Vektorraum und eine hermitesche Sesquilinearform auf .

Dann besitzt eine Orthogonalbasis.