“…Since ^, = MaK, by multiplying the equations (8) on the left by ax from the right, we get x -xax = xxax = x2ax = ■■■ = xiax = Xi+Xat+Xax, so that x = Xi(axai+Xax), while, by Result 3(i), akai+xak -bkai+xbk for all 1 < k < i. So from (8) we obtain a scheme of length < m joining (x, \®y) to (x', l®y') as follows: By the inductive assumption, x ® y = x' ® y'. Case 2.…”