$a^2\equiv b\pmod{q}$