命題
A をネーター局所環とし、m をその極大イデアル、
M ≠ 0 を有限生成 A-加群とする。
任意の M-正則列の長さは dim(M) 以下である。

証明
>>21 より、M-正則列は M-切断列である。
>>4 より この長さは dim(M) 以下である。
証明終