Suppose there is a counterexample; then there must exist one with the minimal possible number of interior nodes.
فرض کنید یک مثال نقض وجود داشته باشد؛ پس باید یک درخت کامل با حداقل تعداد گره‌های داخلی ممکن وجود داشته باشد.