Sea $ n \geq 3$ un entero positivo y sea $ m \geq 2^{n-1}+1$ . Demuestra que para cada familia de subconjuntos distintos no nulos $ (A_j)_{j \in \overline{1, m}}$ de $ \{1, 2, ..., n\}$ existen $ i$ , $ j$ , $ k$ tales que $ A_i \cup A_j = A_k$ .