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 67: | Line 67: | ||
now y[biggest]z => contradiction bc two kinds of "one q" | now y[biggest]z => contradiction bc two kinds of "one q" | ||
so some non biggest chunk has to have y[chunk]z (or z | so some non biggest chunk has to have y[chunk]z (or z[chunk]y) | ||
then by using size of [y[non-biggest chunk]z] you get a contradiction bc you can scoot to get an x (since consecutive q's cant happen if there are consecutive x's) | then by using size of [y[non-biggest chunk]z] you get a contradiction bc you can scoot to get an x (since consecutive q's cant happen if there are consecutive x's) | ||