theorem Th42: :: NAT_3:42

for a being Nat
for p being Prime st a <> 0 holds
support (pfexp (p |^ a)) = {p}