a < b <==> 0 < b-a
a^2 < b^2 <==> 0 < b^2 - a^2 = (b-a)(b+a)
Vergleich zeigt, dass unterschied der Faktor b+a ist, das pos, ist, weil beide Summanden positiv sind.
Du solltest diese Umformungen aber nur so durchführen, wie es dir eure Axiome / Definition erlauben und dabei jeweils hinschreiben, welches Axiom (Punkt in der Definition) du gerade benutzt.