同余的性质

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

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

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

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

快速幂算法