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