theorem Th54: :: MOEBIUS1:54

for p being Prime
for n being non zero Nat holds Radical (p |^ n) = p