Suppose there is a counterexample; then there must exist one with the minimal possible number of interior nodes.
假设这里有一个反例；那么就一定存在含有极小可能数目的内部节点的一个树。