Euler's Formula/Real Domain/Corollary

Corollary to Euler's Formula

 * $e^{-i \theta} = \cos \theta - i \sin \theta$

where $e^{-i \theta}$ is the complex exponential function, $\cos$ is cosine, $\sin$ is sine, and $i$ is the imaginary unit.