Niereszta kwadratowa modulo p {\displaystyle p} – taka liczba całkowita a , {\displaystyle a,} że równanie kongruencyjne x 2 ≡ ≡ --> a ( mod p ) , {\displaystyle x^{2}\equiv a\ ({\mbox{mod }}p),} gdzie p {\displaystyle p} jest liczbą pierwszą, nie ma rozwiązania całkowitego[1].
– taka liczba całkowita 
że równanie kongruencyjne 
gdzie jest liczbą pierwszą, nie ma rozwiązania całkowitego[1].