A をネーター環とし、Mを A-加群とする。
Ass(M) に属す全ての素イデアルの合併部分は、M に関して非正則な元
全体と一致する。

証明
>>89と>>90より。
証明終