Problem CS-14. On cancellative semigroups.

\{CS, (xy)^{n} = (yx)^{n}\} \underrightarrow{?} \{xy^{n} = y^{n}x\}.