The twentieth-century mathematician Paul Erdos often spoke of “The Book”: the book, he meant, in which God keeps all the most beautiful proofs. “You don’t have to believe in God,” said Erdos, “but you do have to believe in The Book.” Everyone has his own edition of this book, but Euclid’s proof of the infinitude of primes is likely to be in them all.
