Triangle Inequality/Real Numbers/Proof 3

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

Let $\left\vert{x}\right\vert$ be the absolute value of $x$.

Then:
 * $\left\vert{x + y}\right\vert \le \left\vert{x}\right\vert + \left\vert{y}\right\vert$

Proof
We have that Real Numbers form Ordered Integral Domain.

Therefore Sum of Absolute Values on Ordered Integral Domain applies directly.