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