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