Euclid's Theorem/Corollary 1

Corollary to Euclid's Theorem
There are infinitely many prime numbers.