Es sei K {\displaystyle {}K} ein Körper, V {\displaystyle {}V} ein endlichdimensionaler K {\displaystyle {}K} -Vektorraum und ⟨ − , − ⟩ {\displaystyle {}\left\langle -,-\right\rangle } eine symmetrische Bilinearform auf V {\displaystyle {}V} .
Dann besitzt V {\displaystyle {}V} eine Orthogonalbasis.
