Use associative property to rewrite the expression z+(a+b)

z+(a+b) = a + z + b = b + (z + a)