由对称性，可安排第一次操作使用初始时最右边的两个 111。操作后立即有 s=t=1s=t=1s=t=1 且 q=q0+(n−1)=(n+2)(n−1)2q=q_0+(n-1)=\tfrac{(n+2)(n-1)}2q=q0+(n−1)=2(n+2)(n−1)。由于 q−tq-tq−t 不减，之后任意状态都满足 q≥t+(n+2)(n−1)2−1q\ge t+\tfrac{(n+2)(n-1)}2-1q≥t+2(n+2)(n−1)−1。结合 q≤(n−1)s+n(n−1)2q\le(n-1)s+\tfrac{n(n-1)}2q≤(n−1)s+2n(n−1)，并用 n≥3n\ge3n≥3，得到 t≤(n−1)s−(n−2)<(n−1)st\le(n-1)s-(n-2)<(n-1)st≤(n−1)s−(n−2)<(n−1)s。再结合 t≥st\ge st≥s，可知 t/s∈[1,n−1)∩Qt/s\in[1,n-1)\cap\mathbb Qt/s∈[1,n−1)∩Q。