Input (grade 7): In other words, every prime of the form 2n + 1 is a Fermat number, and such primes are called Fermat primes.
Output (grade 6): Every prime of the form 2n + 1 is a Fermat number, and such primes are called Fermat primes.