fを既約分解して中国剰余定理を使うと、
既約多項式のべきf^nに対するK[X]/(f^n)の場合に帰着する
この環のイデアルはg | f^n となる多項式gが生成するK[X]の
イデアルに対応するので有限個しかない