Sea $a$ un número real no nulo. Para cada entero $n$, definimos $S_n = a^n + a^{-n}$. Demuestre que si para algún entero $k$, las sumas $S_k$ y $S_{k+1}$ son enteros, entonces las sumas $S_n$ son enteros para todos los enteros $n$.