二叉树的性质5证明