Interleaving: Difference between revisions
| Line 48: | Line 48: | ||
'''Z''' '''W'''<sub>1</sub>...'''W'''<sub>''r''</sub> '''Z''' ('''W'''<sub>''i''</sub> are all non-'''Z'''s) | '''Z''' '''W'''<sub>1</sub>...'''W'''<sub>''r''</sub> '''Z''' ('''W'''<sub>''i''</sub> are all non-'''Z'''s) | ||
(Assume WOLOG) '''W'''<sub>1</sub> + '''W'''<sub>2</sub> (in strand ''S''<sub> | (Assume WOLOG) '''W'''<sub>1</sub> + '''W'''<sub>2</sub> (in strand ''S''<sub>2</sub>) = '''Z''' + '''W'''<sub>1</sub> (in strand ''S''<sub>1</sub>) | ||
'''W'''<sub>2</sub> = '''Z''' (contradiction) | '''W'''<sub>2</sub> = '''Z''' (contradiction) | ||