theorem Th18: :: NEWTON02:18

for m being Nat
for t, z being Integer holds t - z divides (t |^ m) - (z |^ m)