Chứng minh rằng, nếu E1,E2,F1,F2 là bốn môđun trên một vành giao hoán
C, thì đồng cấu chính tắc (21) (no. 4) là hợp của các đồng cấu
Hom(E1,F1)⊗Hom(E2,F2)→Hom(E1,F2⊗Hom(E2,F2))→Hom(E1,Hom(E2,F1⊗F2))→Hom(E1⊗E2,F1⊗F2) trong đó hai đồng cấu đầu suy ra từ đồng cấu chính tắc (7) (no. 2) và đồng cấu cuối cùng là đẳng cấu của no. 1, Mệnh đề 1.