同余的性质

等式可以叠加（线性）、相乘

可以提取一个和模互质的数

模可以换成更小结构的一个数，只要整除就行

等式左右可以同时叠加一个整系数多项式

$$ac\equiv bc(modm)\wedge (c,m)=d⟹a\equiv b\left(mod\frac{m}{d}\right)$$ $$a\equiv b(mod{m}_i)⟹a\equiv b(mod[m_1,m_2,\dots ,m_n])$$