命題
A を単項イデアル整域、M を A 上有限生成の捩れ加群とする。
M は A-加群として長さ有限である。

証明
Ass(M) ⊂ Supp(M) (>>99) と >>670 と >>345 より。
証明終