中国剩余定理（单身狗定理）+扩展

1.若m1,..mk均互质
2.若没有1互质的条件
求最小的x

证明要有一定的数论知识。
比如:
axb(mod p) => x=inv(a,p)*b

下面先证明互质版本的：（菜鸟手写证明）

如果上面的证明没问题，那么扩展版也肯定没问题
证明如下：