Triangle Inequality/Real Numbers/Proof 3

Proof
We have that Real Numbers form Ordered Integral Domain.

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