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
-