theorem Th34: :: NAT_3:34

for n being Nat
for x being set st x in support (pfexp n) holds
x is Prime