Ternary scale theorems: Difference between revisions
m →Proof |
|||
| Line 306: | Line 306: | ||
(i) The sequence '''XZX''' must appear in ''W''. | (i) The sequence '''XZX''' must appear in ''W''. | ||
There are two consecutive '''X'''s with no '''Y''' in between since ''a'' > ''b''. If '''XX''' appears, then a '''Z''' is necessarily surrounded by two '''X'''s. | There are two consecutive '''X'''s with no '''Y''' in between since ''a'' > ''b''. This means either '''XX''' or '''XZX''' appears. If '''XX''' appears, then a '''Z''' is necessarily surrounded by two '''X'''s. | ||
(ii) The sequence '''YXXY''' and '''XYXXYX''' must appear in ''W''. | (ii) The sequence '''YXXY''' and '''XYXXYX''' must appear in ''W''. | ||