Un número entero n puede ser resuelto únicamente mod LCM(A(i)), dado modulii (mod n A(i)), cumpliéndose > 0 for i = 1..k, k > 0. En otras palabras, teniendo en cuenta los restos un valor entero pone cuando es dividido por un conjunto arbitrario de divisores, únicamente puede determinar resto del entero cuando es dividido por el mínimo común múltiplo de esos divisores.

Por ejemplo, conocer el resto de n cuando es dividido por 3 y el resto cuando es dividido por 5 permite determinar el resto de n cuando se divide por LCM(3,5) = 15.