Die Form
ist bilinear und nach Voraussetzung positiv definit. Deshalb ist
Bei w = 0 {\displaystyle {}w=0} ist die zu beweisende Aussage richtig, sei also w ≠ 0 {\displaystyle {}w\neq 0} . Wegen der positiven Definitheit ist dann
woraus
folgt.