只有X取不到值时,B才是空的,x是的取值范围为[2m-1,m+1],当这个取值范围为空时,x就无法取到值了,B就为空了,要想让x的取值范围为空,那么就需要m+1