$p(x)$ es un polinomio irreducible con coeficientes enteros, y $q$ es un número primo fijo. Sea $a_n$ el número de soluciones de la ecuación $p(x)\equiv 0\mod q^n$. Demuestra que podemos encontrar $M$ tal que $\{a_n\}_{n\ge M}$ es constante.