Euclid's proof on the infinitude of primes