theorem :: NUMBER12:49

for n, a being Nat st n >= 1 holds
PrimeDivisors (a |^ n) = PrimeDivisors a