theorem PrimesNotPowers: :: NUMBER06:39

for p being Prime holds not p is perfect_power