Wikipedia page for Euclid's proof of infinite primes.