for p being Safe Prime st p <> 7 holds
p mod 6 = 5