Solution
= Solution
By part (b), the hypothesis says that every wall separates $e$ from $w_0$. Let $u\in W$. For each wall, $e$ and $w_0$ lie in opposite half-spaces, so $u$ lies on exactly one of their two sides. The wall therefore separates exactly one of the pairs $(e,u)$ and $(u,w_0)$. Since Coxeter length equals the number of separating walls,
$$
\ell(w_0)
=|\mathcal H(e,w_0)|
=|\mathcal H(e,u)|+|\mathcal H(u,w_0)|
=\ell(u)+\ell(u^{-1}w_0).
$$