Integer Addition is Associative/Proof 2

Proof
Let $a, b, c, d, e, f \in \N$ such that:


 * $x = \eqclass {a, b} {}$, $y = \eqclass {c, d} {}$ and $z = \eqclass {e, f} {}$.

Then: