$ a_1, a_2, \ldots, a_n$ son 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.\]