命題
λを奇素数としたとき、多項式 1 + X + ... X^(λ-1) は
有理数体上既約である。

証明
上記の多項式は指数 λ の円分多項式 Φ_λ(X) に等しい。
よって >>162 より有理数体上既約である。
証明終