中国剩余定理（CRT）

若各模两两互素，则同时成立的同余方程组在各模之积下有唯一解；可由余数重构整数。