There are infinitely many prime numbers