Se da un conjunto finito $S$ de enteros positivos. Demuestra que existe un entero positivo $N$ que depende solo de $S$, tal que cualquier $x_1, \dots, x_m \in S$ cuya suma es un múltiplo de $N$, puede ser particionada en grupos cada uno de los cuales su suma es exactamente $N$. (Los números $x_1, \dots, x_m$ no necesitan ser distintos.)