La congruencia que describe todas las soluciones tiene módulo \(mn\) y es la única clase que cumple ambas condiciones. La opción con módulo \(m+n\) y producto \(ab\) no corresponde al teorema.
El teorema chino del resto afirma que un sistema de congruencias lineales con módulosprimos entre sí tiene solución única módulo el producto de esos módulos.