Let be a finite set with elements and be three-elements subsets of, such that, for every . Prove that there exists with, such that none of 's is a subset of .
Hayaang ay may wakas ng isang set na may mga elemento at mga ay may tatlong sangkap subset ng, Tulad na, Para sa bawat . Patunayan na may umiiral na may, Tulad na wala sa 's ay isang subset ng .