Order is Preserved on Positive Reals by Squaring/Proof 2

Theorem

$x < y \iff x^2 < y^2$

Proof

From Real Numbers form Ordered Field, the real numbers form an ordered field.

The result follows from Order of Squares in Ordered Field.

$\blacksquare$