A をネーター環とし、Mを 有限生成 A-加群で余準素(>>157)とする。
このとき、定義より、Ass(M) は一個の素イデアル p よりなるから
>>167より p = rad(Ann(M)) である。>>165 より、p^n ⊂ Ann(M)
となる整数 n > 0 がある。よって、(p^n)M = 0 となる。