theorem :: NEWTON02:180

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