theorem :: NEWTON02:16

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