对于 $a_jM_jt_j$ 而言，为什么其$\text{mod}\ a_i(i\not=j)=0$ ？

其中， $M_j=m_1\times m_2\dots m_n$ 。

百度没有得到很明了的证明。