Lemma 2.13. Assuming that:

  • f,g:G→ℂ

Then
f∗g^(γ)=f^(γ)g^(γ)∀⁡γ∈G^.