Euclid's proof of the infinitude of primes