Let $W-=\{invp\}\{bdt\}$ while $kn$ do $x$:$=x-2$;$k$:$=k+1$ od$,$ and we know that $)(0)=(2^y)(x)<(2^{y+1})(0)=(2^y)(x)<(2^{y+1}$