theorem Th54: :: MOEBIUS1:54

for p being Prime
for n being non zero Element of NAT holds Radical (p |^ n) = p