A theorem in number theory that determines when two given primes are quadratic residues of one another.