theorem Th43: :: NAT_3:43

for p being Prime holds support (pfexp p) = {p}