Equivalence of Definitions of Commutator of Group Elements

Proof
Throughout the following, is assumed implicitly.

Let $g, h \in G$ be arbitrary elements of $G$.

Let $c$ be the commutator of $g$ and $h$ by definition $2$.

Then we have: