Bài tập 8, § 4

Cho s \in S và w \in W. Chứng minh rằng, nếu l(ws) > l(w), phần tử w(e_s) là một tổ hợp tuyến tính với các hệ số \geq 0 của các e_t với t \in S; chứng minh rằng, nếu l(ws) < l(w), w(e_s) là một tổ hợp tuyến tính với các hệ số \leq 0 của các e_t. (Áp dụng tính chất (P_n) của no. 4 cho w^{-1}, và lập luận bằng đối cực.)