Sea $(a_n)$ definida por: $$ a_1 = 2, \qquad a_{n+1} = a_n^3 - a_n + 1 $$ Considere enteros positivos $n,p$, donde $p$ es un primo impar. Pruebe que si $p | a_n$, entonces $p > n$.