# Congruence condition for two to be a quadratic residue

## Statement

Suppose  is an odd prime. Then:

•  is a quadratic residue modulo  if and only if , i.e.,  or .
•  is a quadratic nonresidue modulo  if and only if , i.e,  or .