This theorem expresses the [Legendre symbol](/page/Legendre%20Symbol) of a nonzero residue modulo an odd prime using a primitive root. It says the symbol is determined by whether the exponent of the residue in primitive-root coordinates is even or odd.