対応する一意な値を数える
区間は {2n+3,…,2n+1+4}\{2^n+3,\ldots,2^{n+1}+4\}{2n+3,…,2n+1+4} である。その中で 1 が三つある数は、0≤r<s<n0\le r<s<n0≤r<s<n に対する 2n+2r+2s2^n+2^r+2^s2n+2r+2s の (n2)=n(n−1)2\binom n2=\frac{n(n-1)}2(2n)=2n(n−1) 個と、2n+1+32^{n+1}+32n+1+3 である。従って一意な値は n≥2n\ge2n≥2 に対する m=n(n−1)2+1m=\frac{n(n-1)}2+1m=2n(n−1)+1、すなわち 2,4,7,11,…2,4,7,11,\ldots2,4,7,11,… である。