Legyen $n\ge 2$, és legyen $\text{S}$ az $\left\{\mathrm{1,2,}\text{...}\mathrm{,}n\right\}$ halmaz bizonyos részhalmazaiból álló halmazrendszer, amire igaz, hogy bármely $A\mathrm{,}B\mathrm{,}C\mathrm{,}D\in \text{S}$ esetén $\left|A\cup B\cup C\cup D\right|\le n-2$. Mutassuk meg, hogy $\left|\text{S}\right|\le 2^{n-2}$.