Sean $m,n\geq2$ enteros positivos, y sean $a_1,a_2,\ldots ,a_n$ enteros, ninguno de los cuales es múltiplo de $m^{n-1}$ . Demuestra que existen enteros $e_1,e_2,\ldots,e_n$ , no todos cero, con $\left|{\,e}_i\,\right|<m$ para todo $i$ , tales que $e_1a_1+e_2a_2+\,\ldots\,+e_na_n$ es un múltiplo de $m^n$ .