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