係数多項式の既約性に関して, 次が成り立ちます. 定理.1をモニックとする. ある素数が存在してがで既約ならば, は上既約. (証明) とする. がモニックより, の最高次係数はである. 係数多項式の係数をで考えて*1係数多項式とみなしたものを, と書くことにしよ…