二叉树的性质及证明