theorem Th5: :: GR_CY_3:5

for p being Safe Prime st p <> 5 holds
p mod 4 = 3