命題
A を単項イデアル整域、M を A 上有限生成の捩れ加群とする。
>>710 より M は 単項加群 M_i, i = 1, ..., r の有限個の
直和となるが、このとき、|M_1| ⊃ ... ⊃ |M_r| と出来る。

証明
>>669 と >>709 から明らか。