\f6. Let G be a group and let a e G. Prove that the function f : G - G defined by is a bijection. (Note that if G is a finite group this gives an alternate proof of the fact that each element of G appears precisely once in each row of the group table of G.)