1.common knowledge:set and basic logic

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

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