命題
A を可換環とする。
E、F、G ∈ Mod(A) とする。
このとき A-同型 φ：(E※F)※G → E※(F※G) で
φ((x※y)※z) = x※(y※z) となるものが一意に存在する。
さらに φ は E、F、G に関して自然（>>11）である。

証明
>410と過去スレpart2の797により Z-同型 φ：(E※F)※G → E※(F※G) で
φ((x※y)※z) = x※(y※z) となるものが一意に存在する。
a ∈ A のとき
φ(a((x※y)※z)) = φ(a(x※y)※z) = φ((ax※y)※z) = ax※(y※z) = a(x※(y※z)) = aφ((x※y)※z)
よって、φ は A-同型である。
過去スレpart2の797により φ は E、F、G に関して自然（>>11）である。
証明終