Coset Product is Well-Defined/Proof 4

Proof
Let $N \lhd G$ where $G$ is a group.

Let $a, b \in G$.

We have: