试证明，采用BST::remove（)算法（教材198页代码7.6)从二叉搜索树中删除节点，若实际被删除的节点为x，则此后：a)除x的历代祖先以外，其余节点的高度无需更新;b)祖先高度不会增加，但至多减一;c)一旦某个祖先高度不变，更高的祖先也必然高度不变。d)利用以上事实，进一步改进updateHeightAbove（)方法，提高效率。