theorem :: GR_CY_3:6

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