二叉树的性质4证明