21 Sean $a_1, a_2, \ldots, a_n$ enteros, no todos iguales. Demuestre que existen infinitos números primos $p$ tales que para algún $k$ \[ p\mid a_1^k + \dots + a_n^k.\] Omid