命題
A を単項イデアル整域、M を A 上有限生成の捩れ加群とする。
Supp(M) は、極大イデアルのみからなる。

証明
Supp(M) = V(Ann(M)) と Ann(M) ≠ 0 より明らか。
証明終