Erdős–Selfridge theorem

GPTKB entity