Since Fermat primes are of the form F = 2n + 1, it follows that (F − 1)/2 is a power of two.
Koska Fermatin alkuluvut ovat muotoa F = 2n + 1, seuraa siitä, että (F − 1)/2 on kahden potenssi.