[b_{n+1}]=[b_n]