Product of Absolute Values on Ordered Integral Domain

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

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

Then $$\left|{xy}\right| = \left|{x}\right| \cdot \left|{y}\right|$$.

Proof
$$ $$ $$ $$