命題
>>711 のイデアルの列 |M_1| ⊃ ... ⊃ |M_r| は M だけで決まり、
単項加群 M_i の取り方によらない。

証明
>>709 より明らか。