多項式のを素数に置き換えたもの(の特殊化と呼ぶ)は、アイゼンシュタインの既約判定法により既約な多項式である。