[B tree] Added proof for why B-tree is balanced