theorem DivK: :: NUMBER12:50

for k being Nat
for p being Prime st k >= 1 holds
PrimeDivisors (p |^ k) = {p}