This reduces both n and l by 1, so the new tree also has n + 1 ≠ l and is therefore a smaller counterexample.
این هر دوی n و l را یک واحد کاهش می دهد ، پس درخت جدید نیز دارای n + 1 ≠ l و بنابراین دارای یک مثال نقض کوچکتر است.