For any w ∈ W , {\displaystyle w\in W,} the length satisfies ℓ ( w 0 w ) = ℓ ( w 0 ) − ℓ ( w ) . {\displaystyle \ell (w_{0}w)=\ell (w_{0})-\ell (w).} A reduced expression for the longest element is not in general unique.
Herhangi w ∈ W , {\displaystyle w\in W,} için, ℓ ( w 0 w ) = ℓ ( w 0 ) − ℓ ( w ) . {\displaystyle \ell (w_{0}w)=\ell (w_{0})-\ell (w).} uzunluğu karşılar Uzun eleman için azaltılmış bir ifade genel eşsiz içinde değildir.