theorem :: NEWTON02:179

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