Sea $u_1$, $u_2$, $u_3$, $\dots$ una secuencia de enteros que satisfacen la relación de recurrencia $u_{n + 2} = u_{n + 1}^2 - u_n$. Supón que $u_1 = 39$ y $u_2 = 45$. Demuestra que 1986 divide a infinitos términos de la secuencia.