>>167
Eisensteinの既約判定法は一意分解整域上多項式に適用可能
p元体は一意分解整域だからFp[X]の元にも適用可能