中国剩余定理初步

求解关于x的方程组x同余于ai（mod mi）（mi两两互质）
类似的同余方程组问题出现在孙子算经中，所以也叫“孙子定理”
或者Chinese Remainder,也叫做CRT。
留坑，待补。