 Tits word reduction theorem

Every word in simple Coxeter generators can be reduced by braid moves and cancellations $ss\mapsto 1$. Consequently, a word is reduced exactly when no sequence of braid moves can make a cancellation possible.