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.