Wir fragen uns, ob
-

ist. Dies ist, da das Quadrieren von positiven Zahlen eine Äquivalenzumformung für die Größenbeziehung ist, äquivalent zu
-

Dies ist durch Subtraktion mit
äquivalent zu
-

Durch Quadrieren ist dies äquivalent zu
-

Dies ist äquivalent zu
-

Quadrieren liefert
-

was stimmt. Also ist
-
