Abelianization of Group is Abelian

Theorem
Let $\struct {G, \circ}$ be a group whose identity is $e$.

Let $G^{\mathrm {ab} }$ denote the abelianization of $G$.

Then $G^{\mathrm {ab} }$ is an abelian group.