Modulus of Exponential of Imaginary Number is One/Corollary

Corollary to Modulus of Exponential of Imaginary Number is One
Let $t > 0$ be wholly real.

Let $t^{i x}$ be $t$ to the power of $i x$ defined on its principal branch.

Then:
 * $\cmod {t^{ix} } = 1$