ε=1\varepsilon=1ε=1 なら 1−m=2x−2(m2−8)1-m=2^{x-2}(m^2-8)1−m=2x−2(m2−8) から m2<8m^2<8m2<8、従って m=1m=1m=1 だが式に合わない。よって ε=−1\varepsilon=-1ε=−1 であり、1+m=2x−2(m2−8)1+m=2^{x-2}(m^2-8)1+m=2x−2(m2−8) となる。x≥3x\ge3x≥3 より 1+m≥2(m2−8)1+m\ge2(m^2-8)1+m≥2(m2−8)、従って 2m2−m−17≤02m^2-m-17\le02m2−m−17≤0 で、正の奇数 mmm は m≤3m\le3m≤3。111 は不可能なので m=3m=3m=3 である。