theorem Th17: :: NEWTON02:17

for m being Nat
for t, z being Integer st m > 0 holds
t * z divides ((t + z) |^ m) - ((t |^ m) + (z |^ m))