quadratic reciprocity

(number theory) The mathematical theorem which states that, for given odd prime numbers p and q, the question of whether p is a square modulo q is equivalent to the question of whether q is a square modulo p.