Erdős–Selfridge theorem