theorem Th75: :: NEWTON02:173

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