theorem :: GR_CY_3:7

for p being Safe Prime st p > 7 holds
p mod 12 = 11