x^2\equiv a\pmod p