y^2\equiv 1\pmod 3