theorem Th15: :: NEWTON02:15

for n being Nat
for t, z being Integer st t divides z holds
t |^ n divides z |^ n