Sean $m\geq 2$ un entero, A un conjunto finito de enteros y $B_1,B_2,\ldots, B_m$ subconjuntos de $A$. Suponemos que para cada $k=1,2,\ldots, m$ la suma de los elementos de $b_k$ es $m^k$. Desmuestra que $A$ contiene al menos $\frac{m}{2}$ elementos.