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:
 * $i$ is the imaginary unit.