برهان الباقي الصيني

 برهان الباقي الصيني 
صنفاً مهماً من المعادلات الديفونتية الخطية: ليكن n₁, ..., n_k k عدد صحيح أولية نسبياً أكبر من 1، a₁, ..., a_k k عدد صحيح، و N حاصل ضرب n₁ ··· n_k. تنص مبرهنة الباقي الصيني أن نظام المعادلات الديفونتية الخطي التالي له حل واحد بالضبط (x, x₁, ..., x_k) بحيث 0 ≤ N ≥ x 
 و أن الحلول الأخرى توجد بإضافة x مضاعف لـN:

${\displaystyle {\begin{aligned}x&=a_{1}+n_{1}\,x_{1}\\&\vdots \\x&=a_{k}+n_{k}\,x_{k}\end{aligned}}}$