Sin embargo, si ni "p" ni "q" son pitagóricos, entonces "p" es un residuo cuadrático módulo "q" si y sólo si "q" no es un residuo cuadrático módulo "p".