数据结构——关于任一二叉树n0=n2+1的证明