This reduces both n and l by 1, so the new tree also has n + 1 ≠ l and is therefore a smaller counterexample.
Ово смањује ова n и I са 1, тако да ново дрво има такође n+1 ≠ l  и због тога има мање контра примера.