Eisenstein の既約性定理(>>167)の証明をしよう。
これは次の自明な原理に基づいている。

補題
A を整域とする。
f(X), g(X) を A[X] の 0 でない元として、
f(X) の最低次の項を a_rX^r
g(X) の最低次の項を b_sX^s とすると
h(X) = f(X)g(X) の最低次の項は a_rb_sX^(r+s) である。