theorem Th5: :: NAT_3:5

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