補題
A をネーター局所環とし、m をその極大イデアル、
M ≠ 0 を有限生成 A-加群とする。
m ∈ Ass(M) であるためには m のすべての元が M に関して非正則
(前スレ１の179)であることが必要十分である。

証明
m ∈ Ass(M) なら、 前スレ１の89より m のすべての元が
M に関して非正則である。

逆に、m のすべての元が M に関して非正則とする。
Ass(M) = {p_1, ..., p_r} とする。
前スレ１の180より m ⊂ p_1∪...∪p_r となる。
前スレ１の579より m ⊂ p_i となる i がある。
m は極大だから m = p_i である。よって、m ∈ Ass(M) である。
証明