定理:n=2m+l{\displaystylen=2^{m}+l}かつ0≤l<2m{\displaystyle0\leql<2^{m}}なら、f(n)=2l+1{\displaystylef(n)=2l+1}である。
定理：如果n=2m+l{\displaystylen=2^{m}+l}且0≤l<2m{\displaystyle0\leql<2^{m}}，则f(n)=2l+1{\displaystylef(n)=2l+1}。