User:Inthar/MV3: Difference between revisions
No edit summary Tags: Mobile edit Mobile web edit |
No edit summary Tags: Mobile edit Mobile web edit |
||
| Line 43: | Line 43: | ||
then we (can assume we) have one of T1+X, T2+X, or T3+X. Scoot this left and you lose the X on the right, and gain another non-X letter on the left so you get a fourth variant of this interval class that contains T1 + X, a contradiction. | then we (can assume we) have one of T1+X, T2+X, or T3+X. Scoot this left and you lose the X on the right, and gain another non-X letter on the left so you get a fourth variant of this interval class that contains T1 + X, a contradiction. | ||
=== Sizes of chunks of any fixed letter form a MOS === | === Lemma 2: Sizes of chunks of any fixed letter form a MOS === | ||
WOLOG consider chunks of X. Use Q for both Y and Z. | WOLOG consider chunks of X. Use Q for both Y and Z. | ||