Bài tập 2, § 1

Cho $(W, S)$ là một hệ Coxeter và $X$ là một tập con của $S$. Chứng minh rằng $W_X$ là chuẩn tắc trong $W$ khi và chỉ khi mọi phần tử của $X$ giao hoán với mọi phần tử của $S - X$.