Cyclotomic Polynomial of Index Power of Two

Theorem
Let $n \ge 1$ be a natural number.

Then the $2^n$th cyclotomic polynomial is:
 * $\map {\Phi_{2^n} } x = x^{2^{n - 1} } + 1$