a_{n-1}-ka_n \in \mathbb{Z}