theorem Th13: :: GR_CY_3:13

for p being Safe Prime ex q being Sophie_Germain Prime st card (Z/Z* p) = 2 * q