theorem POWD: :: NEWTON03:15

for n being non zero Nat
for a, b being Integer holds
( b |^ n divides a |^ n iff b divides a )