命題
A を環とし、M と N を A-加群とする。
x ∈ M, y ∈ N とし、x (x) y = 0 とする。
このとき、x を含む A上有限生成の M の部分加群 M' と
y を含む A上有限生成の N の部分加群 N' が存在し、
M' (x) N' の元として x (x) y = 0 となる。

証明

M の有限生成部分加群全体の族 (M_i) を考える。
ここで添え字集合 I は M の有限生成部分加群のなす集合であり、
包含関係により順序を定義する。I は有向順序集合である。
当然、有向前順序集合でもある。
M = ind.lim (M_i) は明らかだろう。
同様に、N の有限生成部分加群全体の族 (N_j) を考える。
N = ind.lim (N_j) となる。
こもまでくれば、>>143より命題は明らかだろう。
証明終