公式是：
若a ≡ b (mod m)，c ≡ d (mod m)，则有：
1. a ± c ≡ b ± d (mod m)
2. ac ≡ bd (mod m)
3. a^k ≡ b^k (mod m) （k为正整数）
其中，≡ 表示同余，mod表示模运算，即取余数。这些公式在模运算中非常有用，可以用来简化计算和证明一些数学问题。
余数定理（Polynomial remainder theorem）是指一个多项式f(x) 除以一个线性多项式(x-a)的余数是 f(a)若f(a)=0，则(x-a)为多项式f(x)的因式例如，(5x3+4x2-12x+1)/(x-3) 的余式是 5·33+4·32-12·3+1=136
