Exponential Form of Complex Conjugate

Theorem
Let $z := r e^{i \theta} \in \C$ be a complex number expressed in exponential form.

Then:
 * $\overline z = r e^{-i \theta}$

where $\overline z$ denotes the complex conjugate of $z$.