Interleaving: Difference between revisions
No edit summary |
|||
| Line 48: | Line 48: | ||
'''W'''<sub>1</sub>...'''W'''<sub>''r''</sub> (all non-'''Z'''s) | '''W'''<sub>1</sub>...'''W'''<sub>''r''</sub> (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>1</sub>) = '''Z''' + '''W'''<sub>1</sub> (in strand ''S''<sub>2</sub>) | ||
'''W'''<sub>2</sub> = '''Z''' (contradiction) | '''W'''<sub>2</sub> = '''Z''' (contradiction) | ||
== Generalizations == | == Generalizations == | ||