4 Demuestre que si los enteros $a_1$ ; $\dots$ $a_m$ son no nulos y para cada $k =0; 1; \dots ;n$ ( $n < m - 1$ ) , $a_1 + a_22^k + a_33^k + \dots + a_mm^k = 0$ ; entonces la sucesión $a_1, \dots, a_m$ contiene al menos $n+1$ pares de términos consecutivos con signos opuestos. O. Musin