Let G be a group, let d1 be an integer, and define a subset of G by G[d]= {g G : gd = e}. Deduce that if G is commutative, then G[d] is a group