Rank-3 scale theorems: Difference between revisions
Tags: Mobile edit Mobile web edit |
Tags: Mobile edit Mobile web edit |
||
| Line 91: | Line 91: | ||
* v_2 = (A-1)X + (B+1)Q, | * v_2 = (A-1)X + (B+1)Q, | ||
* v_3 = (A+1)X + (B-1)Q. | * v_3 = (A+1)X + (B-1)Q. | ||
Eliminating X from w, we have that w_X is a mos, by the EMOS assumption. At least one of B, B-1, B+1 is not a period multiple of w_X, say B_0, hence a B_0-step of w_X comes in two sizes. For a contradiction we seek two intervals in w: | Eliminating X from w, we have that w_X (word in Y and Z) is a mos, by the EMOS assumption. At least one of B, B-1, B+1 is not a period multiple of w_X, say B_0, hence a B_0-step of w_X comes in two sizes. For a contradiction we seek two intervals in w: | ||
# u_L + A_0 X, and | # u_L + A_0 X, and | ||
# u_s + A_0 X, | # u_s + A_0 X, | ||