1
ai≡bi mod m (i=1, 2, …) の時,
・a1±a2≡b1±b2
・a1×a2≡b1×b2
・fを整数係数多項式とすると
f(a, a2, …)≡f(b1, b2, …)