User:Inthar/MV3: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 72: Line 72:


''To be continued...''
''To be continued...''
=== Lemma 2: The word made by any two of the step sizes is a MOS (except in the case "xyzyx") ===
Use Lemma 1?


=== Proof of the alternating-gens property (except in the case xyxzxyx) ===
=== Proof of the alternating-gens property (except in the case xyxzxyx) ===