ある値に対応する kkk が一つだけとなる条件を調べる。
増分は 000 または 111 なので、f(k)=mf(k)=mf(k)=m が一意となるのは前後の二つの増分がともに 111 のとき、すなわち 2k−12k-12k−1 と 2k+12k+12k+1 がともに 111 を三つ持つときである。二進表示の末尾に 1 を付ける関係から、これは k−1k-1k−1 と kkk がともに 111 を二つ持つことと同値である。