Pertimbangkan keluarga menguraikan himpunan bagian dari {1,2, ..., n}, F 1 , F 2 , ... F t .tttF1, F2, ... FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Seandainya (*) Untuk setiap dan setiap R ∈ F i , dan T ∈ F k , ada S ∈ F j yang berisi R ∩ T .saya < j < ki<j<ki \lt j \lt kR...