theorem Th10: :: NEWTON02:10

for n being Nat
for t, z being Integer holds
( t divides ((t + z) |^ n) - (z |^ n) & z divides ((t + z) |^ n) - (t |^ n) )