Divisor of Fermat Number

Theorem
Let $F_n$ be a Fermat number.

Let $m$ be divisor of $F_n$.

Then $m$ is in the form:
 * $k \, 2^{n + 2} + 1$

where $k \in \Z_{>0}$ is an integer.