命題
A ⊂ B を環の包含関係、B は A 上整とする。
q を B の素イデアルとする。
ht(q) ≦ ht(A ∩ q) である。

証明
>>636 より明らか。