補題
A を一意分解整域とし、
f(X) を A 係数の次数が１以上の多項式とする。
f(X) が原始多項式(>>186)でないなら、A の素元 p で f(X) の各係数を
割るものがある。

証明は明らかだろう。