A.1 证明二叉树的性质