Sea $A$ un conjunto finito de enteros (no necesariamente positivos), y sea $m \geq 2$ un entero. Supongamos que existen subconjuntos no vacíos $B_1, B_2, \ldots, B_m$ de $A$ cuyos elementos suman $m^1, m^2, m^3, \ldots, m^m$ respectivamente. Demuestra que $A$ contiene al menos $\frac{m}{2}$ elementos.