A.4 证明AVL树插入后至多只需要调整一个结点即可恢复平衡