theorem Th2: :: GR_CY_3:2

for p being Safe Prime holds p >= 5