证明二叉树的性质