命題
A を単項イデアル整域、M を A 上有限生成の捩れ加群とする。
M は 単項 加群 M_i, i = 1, ..., r の有限個の
直和となる。

証明
>>669 と >>690 より明らか。