Sea $X$ un conjunto finito con $n\geqslant 3$ elementos y sean $A_1,A_2,\ldots, A_p$ subconjuntos de $3$ elementos de $X$ que satisfacen $|A_i\cap A_j|\leqslant 1$ para todos los índices $i,j$ . Muestra que existe un subconjunto $A{}$ de $X$ tal que ninguno de $A_1,A_2,\ldots, A_p$ está incluido en $A{}$ y $|A|\geqslant\lfloor\sqrt{2n}\rfloor$ .