Changes

|}

|}

For the sake of brevity in the rest of this development, rename the operator on the right so that <math>(\operatorname{S}((\operatorname{K}\operatorname{K})\operatorname{S})) = \operatorname{F}.</math>

For the sake of brevity in the rest of this development,

rename the operator on the right so that (S((KK)S)) = F.

Continue with K((zF)S), to extract z:

Continue with <math>\operatorname{K}((z\operatorname{F})\operatorname{S}),</math> to extract <math>z,\!</math> as follows:

  (zF)S = (zF)(z(SK))

 

          = z(F((SK)S))

(z\operatorname{F})\operatorname{S}

& = &

(z\operatorname{F})(z(\operatorname{S}\operatorname{K}))

& = &

z(\operatorname{F}((\operatorname{S}\operatorname{K})\operatorname{S}))

Rename the operator on the right, letting (F((SK)S)) = G.

Rename the operator on the right, letting (F((SK)S)) = G.