Kを可換体，f(X)∈K[X]をゼロでない多項式とするとき，
K[X]/(f(X))のイデアルは有限個である．

これの証明ってどうやるんですか？
(f(X))はf(X)で生成される単項です．