Si para algún valor de "a" (menor que "n") no se cumple la congruencia, entonces