Question

Prove that all elements of the form
a1b1a1^−1b1^−1a2b2a2^−1b2^−1...ak bk (ak)^−1(bk)^−1
(ai, bi∈G) form a characteristic subgroup C of the group G.
Prove that the factor group G/C is abelian.