theorem Th6: :: NAT_3:6

for b being Nat
for p, a being Prime st a divides p |^ b holds
a = p