theorem :: NEWTON02:178

for a, n being Nat holds 6 divides (a |^ ((2 * n) + 1)) - a