Kを体、K[T]をK上の多項式環とする。
K上既約な多項式f(T)∈K[T]が生成する単項イデアル(f(T))は、極大イデアルであることを証明せよ。