Interleaving: Difference between revisions
| Line 63: | Line 63: | ||
So the case ''k'' = 3 is done. | So the case ''k'' = 3 is done. | ||
For any other ''k'', we similarly go through the cases (a) ''bx'' and ''cx'', (b) ''bx'' and ''cy'', (c) ''by'' and ''cx'', (d) '' | For any other ''k'', we similarly go through the cases (a) ''bx'' and ''cx'', (b) ''bx'' and ''cy'', (c) ''by'' and ''cx'', (d) ''by'' and ''cy''. | ||
(a) '''Z'''b('''XZ''', '''YZ'''), '''Z'''c('''XZ''', '''YZ'''), b('''XZ''', '''YZ''')'''X''', c('''XZ''', '''YZ''')'''X''' => done | |||
(d) is similar to (a) | |||
=== Proof of Theorem === | === Proof of Theorem === | ||