Theorem CS-11. Support (11) for the CS conjecture.

\{ \begin{matrix}CS \\ x_{1}x_{2} ⋯ x_{n} = x_{2} ⋯ x_{n}x_{1} \end{matrix} \} ⇒ \{xy = yx\}.