theorem Th82: :: NEWTON02:82

for a, m, k being Nat
for n being positive Nat holds (k * (((a |^ n) + 1) |^ m)) mod a = k mod a