for p being Safe Prime holds p >= 5