Erdős's proof of infinitude of primes

GPTKB entity