cho n$\in \mathbb{Z}^{+}, n\geqslant 2$. Gọi S là tập hợp gồm n phần tử và $A_{i}$ với i=1,m là các tập con # nhau và có ít nhất 2 phần tử của S sao cho từ $A_{i} \cap A_{j} \neq 0 , A_{j}\cap A_{k}\neq 0, A_{k}\neq A_{i}\neq 0$ suy ra $A_{i}\cap A_{j}\cap A_{k}\neq 0$
CMR: m $\leqslant 2^{n-1}-1$