This theorem states that the [Legendre symbol](/page/Legendre%20Symbol) depends only on the residue class of its numerator modulo the prime. It justifies treating the symbol as a function on residue classes rather than on particular integer representatives.