Más aún, todas las soluciones "x" de este sistema son congruentes módulo el