Sean $A_1,A_2,\ldots,A_n$ subconjuntos de un conjunto finito $S$ tales que $|A_j|=8$ para cada $j$. Para un subconjunto $B$ de $S$ sea $F(B)=\{j \mid 1\le j\le n \ \ \text{y} \ A_j \subset B\}$. Supongamos que para cada subconjunto $B$ de $S$ al menos una de las siguientes condiciones se cumple \n(a) $|B| > 25$ , \n(b) $F(B)=\{\O\}$ , \n(c) $\bigcap_{j\in F(B)} A_j \neq {\O}$ . \nDemuestra que $A_1\cap A_2 \cap \cdots \cap A_n \neq {\O}$.