Integer Power of Root of Unity is Root of Unity

Theorem
Let $n \in \Z_{> 0}$ be a strictly positive integer.

Let $F$ be a field.

Let $\alpha$ be an $n$-th root of unity.

Let $k \in \Z$.

Then:
 * $\alpha^k$ is an $n$-th root of unity.

Proof
We have: