{ x ≡ a 1 ( m o d m 1 ) x ≡ a 2 ( m o d m 2 ) \begin{cases}x \equiv a_1 \pmod{m_1} \\x \equiv a_2 \pmod{m_2} \end{cases} { x≡a1(modm1)x≡a2(modm2)
{ x = a 1 + k 1 m 1 x = a 2 + k 2 m 2 \begin{cases}x=a_1+k_1m_1 \\x=a_2+k_2m_2 \end{cases} { x=a1+k1m1x=a2+k2m2
k 1 m 1 + ( − k 2 ) m 2 = a 2 − a 1 k_1m_1+(-k_2)m_2=a_2-a_1 k1