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

\{ \begin{matrix}CS \\ x^{n}y = yz^{n} \end{matrix} \} ⇒ \{x^{n}y = y\}.