set0

For every real θ,e^iθ = cos θ + isin θ.