y=17−xy=17-xy=17−x、9≤x≤169\le x\le169≤x≤16、q=⌊2n/17⌋q=\lfloor2n/17\rfloorq=⌊2n/17⌋ を4不等式に代入する。有限個の範囲を調べると、ちょうど 999–161616、181818–242424、272727–323232、363636–404040、454545–484848、545454–565656、63,64,7263,64,7263,64,72（すべて 199619961996 以下）が得られる。他の nnn は必要条件を満たさない。