theorem :: MOEBIUS1:53

for p being Prime holds p = Radical p