theorem PP: :: NEWTON03:85

for a, b being Integer
for m, n being Nat st a |^ n divides b & not a |^ m divides b holds
m > n