theorem Th34: :: NUMBER03:34

for a, n being Nat st a |^ n is prime holds
n = 1