und
her betrachten wir 7 − 4 3 {\displaystyle {}7-4{\sqrt {3}}} . Wegen
ist diese Zahl positiv. Wir behaupten
Dies ist äquivalent zu
Wegen
ist dies richtig.