User:Inthar/MV3: Difference between revisions

@@ Line 45: / Line 45: @@
 So it's pretty obvious that you havve to have MV2 within a contiguous string, but what about the whole string minus the X's?
-If the occurrence of T1 has an X inserted in the middle, then we can scoot it left or right until there are no X's in the middle
+If the occurrence of T1 has an X inserted in the middle, then we can scoot it left or right until we have one of T1(possibly with inserted X's)+X, T2(possibly with inserted X's)+X, or T3 (possibly with inserted X's)+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.
 === Lemma 2: Sizes of chunks of any fixed letter form a MOS ===