Teorema Sisa Cina

Jika $m_1,\dots,m_k$ bilangan asli yang saling prima relatif berpasangan, maka sistem $x\equiv a_1\pmod{m_1},\;\dots,\;x\equiv a_k\pmod{m_k}$ memiliki solusi tunggal modulo $M=m_1m_2\cdots m_k$. Dalam bahasa ring, $\mathbb{Z}_M\cong\mathbb{Z}_{m_1}\times\cdots\times\mathbb{Z}_{m_k}$.