A theorem that gives the conditions for solvability of quadratic equations modulo prime numbers.