x^2+y^2\equiv 0\pmod p