“…Then (4) , v (1) g (3) )σ −1 (v (2) , g (4) )), and (1) ) ⊗ Hσ σ(w (−1) , g (1) )w (0) g (2) σ −1 (w (1) , g (3) )) = ψ(σ(h (1) , 1 (1) )σ −1 (h (3) , v (2) )σ(h (2) (1) 1 (2) , w (−1) g (2) (1) )h (2) (2) (3) )σ(w (−2) , g (1) )σ −1 (1 (3) , g (3) )) (11) (4) , v (2) )σ(h (1) , w (−1) g (2) )h (2) (1) , g (4) )σ(w (−2) , g (1) ) (2) , g (4) )), where we have used the properties of the left coinvariant and the right coinvariant of v and w. This finishes the proof. …”