Lemma 2.13. Assuming that:

  • f,g:G

Then
fg^(γ)=f^(γ)g^(γ)γG^.