命題
A をネーター局所環とし、m をその極大イデアル、
M ≠ 0 を有限生成 A-加群とする。
m の元 x が M-正則(前スレ１の179)ならM-切断列である。

証明
前スレ１の180より、x は Ass(M) のどの元にも含まれない。
前スレ１の166より、Ass(M) と Supp(M) のそれぞれの極小元の集合は
一致する。よって、x は Supp(M) のどの極小元にも含まれない。
よって、>>17 より x はM-切断列である。
証明終