Definition:Safe Prime/Sequence