Binary operation/Associative/5 factors/1/Exercise

Let ${}M$ be a set, with an associative binary operation ${}\star$ defined on it. Show that

${}(a\star b)\star (c\star (d\star e))=a\star ((b\star (c\star d))\star e)\,$

holds for arbitrary ${}a,b,c,d,e\in M$.

Create a solution