# Reference request: from a reduced expression of an element in a Coxeter group to another reduced expression

Are there some references which proves the following result?

Let $W$ be a Coxeter group and $w \in W$. Then different reduced expressions of $w$ can be transformed from one into anther using only the braid relations.

Thank you very much.