theorem Th11: :: GR_CY_3:11

for p being Safe Prime ex q being Sophie_Germain Prime st Euler p = 2 * q