Let G be a group. An element of G that can be expressed in the form aba^-1b^-1 for some a, b ∈ G is a commutator in G. The preceding exercise shows that there is a smallest normal subgroup C of a group G containing all commutators in G; the subgroup C is the commutator subgroup of G. Show that G/C is an abelian group.