Euclid's theorem