Legyen n≥2, és legyen S az {1,2,...,n} halmaz bizonyos részhalmazaiból álló halmazrendszer, amire igaz, hogy bármely A,B,C,D∈S esetén |A∪B∪C∪D|≤n-2. Mutassuk meg, hogy |S|≤2n-2.