theorem Th3: :: GR_CY_3:3

for p being Safe Prime holds p mod 2 = 1