Prove that if * is an associative and commutative binary operation on a set S, then

for all a, b, c, d ∈ S. Assume the associative law only for triples as in the definition, that is, assume only

for all x, y, z ∈ S.

(a * b) * (c* d) = [(d * c) *a] *b