我们定义一个数 $n$ 在模 $p$ 意义下是二次剩余，当且仅当 $\exist x\neq 0, x^2\equiv n\pmod{p}$。