将 y=17−xy=17-xy=17−x、9≤x≤169\le x\le169≤x≤16、q=⌊2n/17⌋q=\lfloor2n/17\rfloorq=⌊2n/17⌋ 代入四个不等式。检查所得有限范围，恰好得到 999–161616、181818–242424、272727–323232、363636–404040、454545–484848、545454–565656、63,64,7263,64,7263,64,72（均不超过 199619961996）。其他 nnn 均不满足必要条件。