Proposition 2.20 ([1]}) 

Let \((W,S)\)  be a Coxeter system, let \(y,w\in W\) , and suppose \(m(s,t)=3\)  for some generators \(s,t\in S\) . Then
the following hold with respect to the pair \(\lbrace s,t\rbrace \) :
