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