This theorem determines exactly when negative one is a [quadratic residue](/page/Quadratic%20Residue) modulo an odd prime. It gives the first supplementary law used with [quadratic reciprocity](/theorems/1721) and reduces the answer to the prime modulo four.