Sea [tex]n\ge3[/tex] un entero positivo y [tex]m\ge 2^{n-1}+1[/tex]. Probar que para cada familia [tex]F[/tex] de subconjuntos [tex]\left\{ {A_i} \right\}_{i\in [m]}[/tex] de [tex][n][/tex] existen [tex]i,j,k[/tex] tales que [tex]A_i \cup A_j = A_k[/tex].
Obs: [X]={1,2,3,...,X}
