theorem :: NEWTON03:18

for k, n being Nat
for a, p being Integer st p |^ ((2 * n) + k) divides a |^ 2 holds
p |^ n divides a