Complex Modulus of Real Number equals Absolute Value

Theorem
Let $x \in \R$ be a real number.

Then the complex modulus of $x$ equals the absolute value of $x$.

Proof
Let $x = x + 0 i \in \R$.

Then: