Prove that there exists a subset of such that has at least elements, and for every, the set does not contain .
Patunayan na may umiiral na isang subset ng tulad na may hindi bababa sa mga sangkap, at para sa bawat, Ang mga set ay hindi naglalaman ng .