A加群M_i(i∈I)に対し
双線形写像(㊉[i∈I]M_i)×N→㊉[I∈I](M_i㋱N) ( ((x_i)_i, y) |→Σ[i∈I]( x_i)㋱yにたいし
順同型(㊉[i∈I]M_i)㋱N→㊉[i∈I](M_i㋱N) がある。
双線形写像M_j×N→(㊉[i∈I]M_i)㋱N　( ((x_j, y) |→x_j㋱y)に対し、順同型
M_j㋱N→(㊉[i∈I]M_i)㋱Nがある。
これは㊉[I∈I](M_i㋱N) →㊉[I∈I](M_i㋱N) を引き起こす。
定義からこれらは互いに他の逆を与えており(㊉[i∈I]M_i)㋱Nと(㊉[I∈I](M_i㋱N) の
同型を与える。

上の文で１行目のΣ[i∈I]x_i㋱yが㊉[i∈I](M_i㋱N) の要素になってないことと
４行目でx_j㋱yが(㊉[i∈I]M_i)㋱Nの要素になってないことと、
６行目の→の右辺は２行目の→の左辺になってないことと
６行目のどうやって引き起こすのかを教えてください。