If the Coxeter group is finite then the length of w0 is the number of the positive roots.
Coxeter grubu sonlu ise Weyl grubu w0nin uzunluğu o zaman pozitif köklerin sayısıdır.