Over two thousand years ago Euclid proved that there are infinitely many prime numbers. This ingenious proof is an early example of an indirect proof--contradicting the opposite statement of a theorem. It is also a very early mathematical confrontation with infinity, in a mathematically primitive time when even algebra was unknown.