命題
A をネーター環とする。
Ass(A) = {p_1, p_2, ... , p_r} とする。
p を A の任意の素イデアルとすると、
ある i に対して p_i ⊂ p となる。

証明
A の零イデアルの最短準素分解を
0 = q_1 ∩ q_2 ∩ ... ∩ q_r とし、Ass(A/q_i) = {p_i} とする。
(q_1)(q_2)...(q_r) ⊂ q_1 ∩ q_2 ∩ ... ∩ q_r
だから、>>208 より、q_i ⊂ p となる i がある。
>>178より、p_i = rad(q_i) である。
よって、>>165より、(p_i)^(n) ⊂ q_i となる整数 n がある。
よって、(p_i)^n ⊂ p となる。
再び、>>208 より p_i ⊂ p となる。
証明終