There are an infinite number of prime numbers