Modulus of Exponential of Imaginary Number is One

Theorem
Let $| \cdot |$ be the complex modulus.

Let $e^{\cdot}$ be the complex exponential.

Let $x$ be wholly real.

Then:


 * $\left \vert {e^{ix}}\right \vert = 1$.