Absolute Value Function is Completely Multiplicative

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

Then:
 * $\size {x y} = \size x \size y$

where $\size x$ denotes the absolute value of $x$.