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减少了1，因此新的树也有n+1 ≠ l，这样就得到了一个更小的反例。