Cho R là một hệ nghiệm và B là một cơ sở của R. Cho α,β∈B và w∈W(R) sao cho β=w(α). Chứng minh rằng tồn tại một dãy α1,…,αn các phần tử của R và một dãy w1,…,wn−1 các phần tử của W(R) sao cho
(i) α1=α,αn=β.
(ii) w=wn−1…w1.
(iii) wi(αi)=αi+1 với 1≤i≤n−1.
(iv) Với mọi i∈{1,n−1}, tồn tại βi∈B sao cho wi thuộc nhóm con của W(R) sinh bởi các phép phản xạ sαi và sβi.