Triangle Inequality/Real Numbers/Proof 1

Proof
Then by Order is Preserved on Positive Reals by Squaring:
 * $\size {x + y} \le \size x + \size y$