Talk:Euclid's proof of the infinitude of primes