因みに、Eisensteinの既約判定法を一意分解整域K上の多項式に適用するには
素数∈Zを、素元∈Kに読み換えるだけ