Euclid’s second theorem is simply stated:

   The number of primes is infinite.

Can you show this to be true?

Bonus:  Can you prove it without using a contradiction?