Sum of Complex Exponentials of i times Arithmetic Sequence of Angles

Theorem
Let $\alpha \in \R$ be a real number such that $\alpha \ne 2 \pi k$ for $k \in \Z$.

Then: