Euclid's theorem on the infinitude of primes

GPTKB entity