Problem CS-GL-10. Nearly (6) associative cancellative (gL)-groupoids.

\{ \begin{matrix}cancellation \\ x((yz)u) = (x(yz))u \end{matrix} \} \begin{matrix}? \\ =(gL)⇒ \end{matrix} \{xy = yx\}.