theorem KeyPerfectPower: :: NUMBER12:21

for n being Nat
for p being Prime st n is perfect_power & p divides n holds
p |^ 2 divides n