Goldbach's Theorem

Theorem
Let $F_m$ and $F_n$ be Fermat numbers such that $m \ne n$.

Then $F_m$ and $F_n$ are coprime.

Proof
Aiming for a contradiction, suppose $F_m$ and $F_n$ have a common divisor $p$ which is prime.

As both $F_n$ and $F_m$ are odd, it follows that $p$ must itself be odd.

Suppose WLOG that $m > n$.

Then $m = n + k$ for some $k \in \Z_{>0}$.

Hence $p$ is even.

From this contradiction it is deduced that there is no such $p$.

Hence the result.