theorem Th11: :: NEWTON02:11

for n being Nat
for u, z being Integer holds
( u divides (u + z) |^ n iff u divides z |^ n )