theorem Th32: :: NEWTON01:33

for a, b, n being Nat holds a - b divides (a |^ n) - (b |^ n)