Modulus of Exponential of Imaginary Number is One

Theorem
Let $\cmod z$ denote the modulus of a complex number $z$.

Let $e^z$ be the complex exponential of $z$.

Let $x$ be wholly real.

Then:
 * $\cmod {e^{i x} } = 1$