The congruence a(n+k) == a(n) (mod k) holds for all n and k.
It follows that the sequence obtained by taking a(n) modulo a fixed positive integer k is periodic with exact period dividing k. For example, the sequence taken modulo 10 becomes [1, 1, 3, 9, 1, 1, 1, 3, 9, 1, ...], a purely periodic sequence with exact period 5.
3 divides a(3*n+2); 9 divides a(9*n+8); 11 divides a(11*n+4); 19 divides a(19*n+3). (End)