Suppose there is a counterexample; then there must exist one with the minimal possible number of interior nodes.
Претпоставимо да постоји контра пример; онда мора постојати један са минималним могућем бројем унутрашњих чворова.