ISL 1973 Problem 8

Let $a$ be a non-zero real number. For each integer $n$ , we define $S_n = a^n + a^{-n}$ . Prove that if for some integer $k$ , the sums $S_k$ and $S_{k+1}$ are integers, then the sums $S_n$ are integers for all integers $n$ .