Symmetrische Bilinearform/Positivität auf Orthogonalbasis testbar/Aufgabe

Es sei ein endlichdimensionaler reeller Vektorraum mit einer symmetrischen Bilinearform auf . Es sei eine Orthogonalbasis auf mit der Eigenschaft für alle . Zeige, dass positiv definit ist.