 Exchange condition for a Coxeter group

If $w=s_1\cdots s_n$ is a reduced expression and $s$ is simple with $\ell (ws)<\ell (w)$, thenfor some index $j$. The analogous statement holds for multiplication on the left.