Triangle Inequality/Real Numbers

Theorem
Let $x, y \in \R$ be real numbers.

Let $\size x$ denote the absolute value of $x$.

Then:
 * $\size {x + y} \le \size x + \size y$