Krullの次元定理
A をネーター環、I をそのイデアルで、r 個の元 x_1, ... , x_r
で生成されるものとする。p を I を含む素イデアルの中で極小な
ものとすると、ht(p) ≦ r である。

証明
A を A_p で置き換えて、A は局所環で、p はその極大イデアル
としてよい。>>454 より dim(A) ≦ dim(A/I) + r である。
I を含む素イデアルは、p だけだから、dim(A/I) = 0 である。
よって、dim(A) ≦ r である。
あとは、dim(A) = ht(p) に注意すればよい。
証明終