補題
A をネーター局所環とし、m をその極大イデアル、
M ≠ 0 を有限生成 A-加群とする。
m のすべての元が M に関して非正則(前スレ１の179)であるためには
Hom(A/m,M) ≠ 0 であることが必要十分である。

証明
>>24と>>25より。
証明終