theorem Th74: :: NEWTON02:172

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