Sean $a,b,d$ enteros tales que $\left|a\right| \geqslant 2$ , $d \geqslant 0$ y $b \geqslant \left( \left|a\right| + 1\right)^{d + 1}$ . Para un polinomio $f$ de coeficiente real de grado $d$ y entero $n$ , sea $r_n$ el residuo de $\left[ f(n) \cdot a^n \right]$ mod $b$ . Si $\left \{ r_n \right \}$ es eventualmente periódico, pruebe que todos los coeficientes de $f$ son racionales.