theorem Th21: :: NUMBER16:21

for n being non zero Nat
for p being Prime st support (pfexp n) = {p} holds
n = p |^ ((pfexp n) . p)