当存在某个X,式子 X2≡d(modp)成立时,称d是模p的二次剩余(quadratic residue) 当对任意X, X2≡d(modp)不成立时,称d是模p的二次非剩余(quadratic nonresidue)