Euclid's infinitude of primes theorem

GPTKB entity