命題
A を環、M を長さ有限の加群、N をその部分加群とする。
このとき、N も M/N も長さ有限であり、
leng(M) = leng(N) + leng(M/N) となる。

証明
>>284と>>285から明らか。