A をネーター環とし、Mを A-加群とする。
Ass(M) と Supp(M) のそれぞれの極小元の集合は一致する。

証明
Ass(M) ⊂ Supp(M) (>>99) と >>146 からわかる