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