theorem Th4: :: GR_CY_3:4

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