for p being Prime holds p = Radical p