更に、"i" が "a" の高さが1のイデアルであれば、"a"1 ∈ "i" かつ "i" ∩ "k"["a"1,..., "am"]＝("a"1)とできる。