在只有度为0和度为k的结点的k叉树中，设度为0的结点有n₀个，度为k的结点有n_k个，则有n₀=n_k+1。