1. ## Binary operations, groupoids

I have the following problem:

Let (M; *) be a groupoid in which the following relations hold:
i) x * x = x; x belongs to M
ii) (x * y) * z = (y * z) * x; x, y, z belong to M.
Show that the operation * is commutative.