Integer Addition is Commutative/Proof 2

Proof
Let $x = \eqclass {a, b} {}$ and $y = \eqclass {c, d} {}$ for some $x, y \in \Z$.

Then: