Order is Preserved on Positive Reals by Squaring/Proof 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.