for p being Safe Prime st p <> 7 holds
p mod 3 = 2