theorem Th14: :: NEWTON02:14

for l being Nat
for t, z being Integer st l > 0 & t divides z holds
t divides z |^ l