Polar Form of Complex Conjugate

Theorem
Let $z := r \left({\cos \theta + i \sin \theta}\right) \in \C$ be a complex number expressed in polar form.

Then:
 * $\overline z = r \left({\cos \theta - i \sin \theta}\right)$

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