Entonces "a" es un residuo cuadrático módulo "p" si y solo si