A をネーター環とし、Mを A-加群とする。
次の条件は同値である。
1)Ass(M) が１個の素イデアルのみからなる。
2)A の元で M に関して非正則なものは概べき零である。

証明
>>178と>>180より。
証明終