>>181より、Eisenstein の既約性定理(>>167)におけるf(X)は
f(X) = g(x)h(x) と分解されない。
ここで、g(X), h(X) は A[X] の元でともに次数が１以上である。
これから原始多項式の積が原始多項式になるというGaussの補題を使う
よく知られた論法で f(X) が K で既約であることが出る。