補題
A を可換環とする。
E_1、．．．、E_n を Mod(A)（過去スレpart2の685）の対象の族とする。
E_1□．．．□E_n（>>458）は x_1□．．．□x_n（>>458）の形の元全体で生成される。

証明
(E_1)※．．．※(E_n)（>>401）は x_1※．．．※x_n（>>401）の形の元全体で生成される。
一方、>460よりA-同型 ψ_n：E_1□．．．□E_n → (E_1)※．．．※(E_n) で
ψ_n(x_1□．．．□x_n) = x_1※．．．※x_n となるものが存在する。
よって、E_1□．．．□E_n は x_1□．．．□x_n の形の元全体で生成される。
証明終