Problem CS-GL-9. A (gL)-basis for identities common to x + y and x − y (2).

\{ \begin{matrix}x(ey) = y(ex) \\ xe = x \end{matrix} \} \begin{matrix}? \\ =(gL)⇒ \end{matrix} \{x(y(zu)) = (x(yz))u\}.