Primes of form Power of Two plus One

Theorem
Let $n \in \N$ be a natural number.

Let $2^n + 1$ be prime.

Then $n = 2^k$ for some natural number $k$.

Also see

 * Definition:Fermat Prime: a prime of the form $2^{\left({2^k}\right)} + 1$.