Problem 9.43

We define the sequence of numbers

Use strong induction to prove that rem(an, 3) = 1 for all integers n ≥ 0.