Quotient Group is Abelian iff All Commutators in Divisor/Proof 2

Proof
Let $G / N$ be abelian.

Then:

The argument reverses.

Suppose that $\forall a, b \in G: a b a^{-1} b^{-1} \in N$.