f(x)を整係数多項式とする。
A≡a (mod.m) ならば f(A)≡f(a) (mod.m))