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$.