A をネーター環とし、Mを A-加群とする。
Ass(M) に属す全ての素イデアルの共通部分は、M に関して概べき零な
元全体と一致する。

証明
>>166と>177より。
証明終