i と j ってパソコンで見分けにくいね。私はジェイに似ています。

把握。

b = (c_1 d_1) ... (c_n' d_n')

と表示したとき b と異なる b' に対して２つの数 s, t が選べて

b' = b_1 = (c_s c_t) (d_s d_t) ...
または
b' = b_2 = (c_s d_t) (c_t d_s) ...

となる。このとき表示されていない ... の部分は {c_s, c_t, d_s, d_t} を含まない。
積を X = bb' と置くと、>>91 の証明より
b' = b_1 のとき X = b_2 で、b' = b_2 のとき X = b_1 である。
前者を考えると
□(a b' c_s c_t)、□(a b' d_s d_t)
を仮定して
□(a b'' c_s d_t) かつ □(a b'' c_t d_s)
を満たす b'' が存在することを証明すれば X = b'' となり
G_a が群演算で閉じていることが示せる。
ところが △(a c_s d_t) ＞→ y および △(a c_t d_s) ＞→ z
を満たす y と z は常に存在するので、あとは y = z が言えればよい。
　　　　　　　　　　　　　　　　a
　　　　　　a　　　　　　　　　△　　　　　　　　a
y →＜　△　　　→＜　　a　　a　　＞→　　△　　＞→ z
　　　　c_s　d_t　　　　　△　　△　　　　　c_t　d_s
　　　　　　　　　　　　c_t　　b'　　d_s

より示せた。