Original: The only known Fermat primes are F0 , F1 , F2 , F3 , and F4 .
Simplified: The only known Fermat primes are F0 , ... , F4 .