 Matsumoto theorem

Matsumoto's theorem says that any two reduced expressions for one element of a Coxeter group are connected by a finite sequence of braid moves.