Es ist
Wir setzen
Es ist dann
und ebenso ist
und
Mit diesen Bezeichnungen geht es um den Ausdruck
Wir schreiben dies als
Die Aussage fogt daher aus
was zu
bzw. (da v , w {\displaystyle {}v,w} positiv sind) zu
äquivalent ist. Dies stimmt, wegen