X = C, twist (A^1, B^1): K-relators with X (plus A^3, B^3) COINCIDE WITH the L-relators of the twisted triple
X = D, twist (A^1, B^-1): K-relators with X (plus A^3, B^3) COINCIDE WITH the L-relators of the twisted triple
X = E, twist (A^-1, B^1): K-relators with X (plus A^3, B^3) COINCIDE WITH the L-relators of the twisted triple
X = F, twist (A^-1, B^-1): K-relators with X (plus A^3, B^3) COINCIDE WITH the L-relators of the twisted triple
number of K relators: 22 ; distinct cyclic classes: 19
LEMMA 4 WORD CHECK: PASSED
(note: the 19 classes arise because CC, DD, EE, FF are trivial in the free product <A>*<B>*<X|X^2> used for the comparison; all other 18 relators are pairwise distinct cyclic words)
