Dado n um número ímpar diferente de 1 e a um inteiro, a é resíduo quadrático módulo n se, e somente se, a é resíduo quadrático módulo todo o primo p que divide n.