theorem :: NUMBER18:57

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