Se tienen enteros positivos $a_1,a_2,\ldots,a_m,b_1,b_2,\ldots,b_n$ que cumplen
\[a_1+a_2+\ldots+a_m=b_1+b_2+\ldots+b_n\lt nm.\]
Demostrar que se pueden eliminar algunos números (y no todos) de forma que la suma de los $a_i$ restantes sea igual a la suma de los $b_j$ restantes.