试证明，采用BST::insert（)算法（教材188页代码7.5)，在二叉搜索树中插入节点v之后。a)除v的历代祖先以外，其余节点的高度无需更新;b)祖先高度不会降低，但至多加一;c)一旦某个祖先高度不变，更高的祖先也必然高度不变。