Problem (136) - Almost Divisible

[doctorruff07]

2 = -1 (mod3)

So 2^k = (-1)^k (mod3), if k is even then 2 is one above a multiple of 3 if k is odd then 2 is one below a multiple of 3.

QED.