Demonstração do teorema da reciprocidade quadrática.

Caracterização dos resíduos quadráticos módulo um número natural ímpar diferente de 1. (A demonstração dada faz uso do "levantamento de Hensel", que não foi demonstrado.)

O símbolo de Jacobi. [Cuidado: o símbolo de Jacobi (a|n) pode ser 1 sem que a seja um quadrado módulo n.] Propriedades do símbolo de Jacobi, inclusivamente aquelas que são herdadas do símbolo de Legendre (tal como a lei da reciprocidade quadrática).