Then decomposing the regular representations as a sum of irreducible representations of G , we get formula _ 17 . From which we conclude
Then decomposing the irreducible representations as a sum of regular representations of G , we get formula _ 17 . From which we conclude .