theorem Th19: :: NEWTON02:19

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