theorem :: NEWTON02:21

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