Sei F r = 2 2 r + 1 {\displaystyle {}F_{r}=2^{2^{r}}+1} eine Fermat-Zahl mit r ≥ 2 {\displaystyle {}r\geq 2} . Dann erfüllt jeder Primfaktor p {\displaystyle {}p} von F r {\displaystyle {}F_{r}} die Bedingung
mit einem a ∈ N + {\displaystyle {}a\in \mathbb {N} _{+}} .