... giải. Ý tưởng: ta sẽ tạo ra một hệ phương trình đồng dư gồm nphương trình đồng dư. Dựa vào định lí thặng dư Trung Hoa, ta kết luận được sự tồn tại nghiệm của hệ đó.Giả sử p1, p2, , pnlà ... hệ phương trình trên thì x0≡ x1(mod m) với m = LCM (m1, m2, , mn). Tức là hệ phương trình đãcho có nghiệm duy nhất theo module m. Lời giải. Trước hết ta giả sử hệ phương trình đã ... < j ≤ n. Đây là điều kiện cần để hệ phương trình có nghiệm.Ngược lại, ta sẽ chứng minh bằng quy nạp theo n rằng nếu điều kiệntrên được thỏa mãn thì hệ phương trình luôn có nghiệm duy nhất theomodule...