theorem Th10: :: GR_CY_3:10

for p being Safe Prime ex q being Sophie_Germain Prime st p = (2 * q) + 1