>>118から次のことがわかる。
M = ind.lim (M_i) とし、x ∈ M_i, y ∈ M_j に対して、
f_i(x) = f_j(y) とする。このとき、i ≦ k, j ≦ k となる k があり、
f_(k, i)(x) = f_(k, j)(y) となる。

とくに、x, y ∈ M_i で、f_i(x) = f_i(y) とすると、
i ≦ j となる j があり、f_(j, i)(x) = f_(j, i)(y) となる。

これから、f_i(x) = 0 なら f_(j, i)(x) = 0 となる j がある。