A sequence of integers $c _ { n }$ starts with $c _ { 0 } = 0$ and satisfies $c _ { n + 2 } = a c _ { n + 1 } + b c _ { n }$ for $n \geq 0$, where $a$ and $b$ are integers. For any positive integer $k$ with $\operatorname { gcd } ( k , b ) = 1$, show that $c _ { n }$ is divisible by $k$ for infinitely many $n$.