Satz 38.15
Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil II/Vorlesung 38
Symmetrische Bilinearform/Orthogonalbasis/Fakt