0P6F Lemma 4.4.8. Let G1,…,Gn∈{E1,E2,F1}G_{1},\ldots,G_{n}\in\{E_{1},E_{2},F_{1}\}. We have λ(1⋯n+1)∘G1⋯Gnη1=λ(n+2⋯2)∘η1G1⋯Gn:G1⋯Gn→E1G1⋯GnF1\lambda_{(1\cdots n+1)}\circ G_{1}\cdots G_{n}\eta_{1}=\lambda_{(n+2\cdots 2)}\circ\eta_{1}G_{1}\cdots G_{n}:G_{1}\cdots G_{n}\to E_{1}G_{1}\cdots G_{n}F_{1} and ε1G1⋯Gn∘λ(2⋯n+2)=G1⋯Gnε1∘λ(n+1⋯1):F1G1⋯GnE1→G1⋯Gn.\varepsilon_{1}G_{1}\cdots G_{n}\circ\lambda_{(2\cdots n+2)}=G_{1}\cdots G_{n}\varepsilon_{1}\circ\lambda_{(n+1\cdots 1)}:F_{1}G_{1}\cdots G_{n}E_{1}\to G_{1}\cdots G_{n}.