User:Inthar/MV3: Difference between revisions
| Line 38: | Line 38: | ||
=== Lemma 1: The word made by any two of the step sizes is a MOS (except in the case "XYZYX") === | === Lemma 1: The word made by any two of the step sizes is a MOS (except in the case "XYZYX") === | ||
Todo: | Todo: Account for XYZYX | ||
Suppose that some class C in the word of Ys and Zs has three sizes, T1, T2, T3. | Suppose that some class C in the word of Ys and Zs has three sizes, T1, T2, T3. | ||