>>58
BB(x+1)<BB(y+1)-BB(y)+BB(x)
ということなので
まあ成り立つ