Interleaving: Difference between revisions
| Line 51: | Line 51: | ||
'''W'''<sub>2</sub> = '''Z''' (contradiction) | '''W'''<sub>2</sub> = '''Z''' (contradiction) | ||
Hence ''q'' = 1, as desired. | |||
Case 2: ''k'' ≥ 3. | |||
== Generalizations == | == Generalizations == | ||
| Line 51: | Line 51: | ||
'''W'''<sub>2</sub> = '''Z''' (contradiction) | '''W'''<sub>2</sub> = '''Z''' (contradiction) | ||
Hence ''q'' = 1, as desired. | |||
Case 2: ''k'' ≥ 3. | |||
== Generalizations == | == Generalizations == | ||