一方、b'_a が c_1 を d_i に移す場合は

b'_a = (c_1 d_i) (c_i x) ...

となる。このとき
このとき、b_a の置換より

□(ab c_1 d_1)、□(ab c_i d_i)
□(ab c_1 d_i)、□(ab c_i x)

が成り立つ。三角図で書くと

　　　　　　　　　　　　　　　　d_1
　　　　　　a　　　　　　　　　△　　　　　　　　d_1
x →＜　△　　　→＜　c_1　　b　　＞→　　△　　＞→ d_1
　　　　　b　c_i　　　　　△　　　△　　　　　a　　a
　　　　　　　　　　　　a　　　d_i　　a

となり、同様に x = d_1 が言える。
よって

b'_a = (c_1 d_i) (c_i d_1) ...

となる。
まとめて b'_a が c_1 を {c_i, d_i} に移すなら

b'_a = (c_1 {c_i, d_i}) ({d_i, c_i}, d_1) ： 左右同順

である。ここで {c_i, d_i} は c_i または d_i のどちらかを選ぶことを意味する。