La ley de la reciprocidad cuadrática establece que si "p" y "q" son primos impares y al menos uno de ellos es pitagórico, entonces "p" es un residuo cuadrático módulo "q" si y sólo si "q" es un residuo cuadrático módulo "p".