Theorem 3.2.1.

There are infinitely many primes.