Chứng minh rằng hệ các đồng dư
$\begin{cases} x\equiv a_1 (\textit{mod }m_1) \\ x\equiv a_2 (\textit{mod }m_2)\\... \\x\equiv a_r (\textit{mod }m_r)\end{cases}$
có nghiệm nếu và chỉ nếu $(m_i,m_j)\mid (a_i-a_j)$ với mọi cặp số nguyên $(i,j)$, $1\le i\le j \le r$. Chỉ ra rằng nếu nghiệm tồn tại thì là nghiệm duy nhất môđulô $[m_1,m_2,...,m_r]$.