Then by the lemma, the sum of S′ is strictly less than Fs + 1 and so is strictly less than Ft, whereas the sum of T′ is clearly at least Ft.
Тогда по лемме сумма элементов S′ строго меньше, чем Fs + 1, т.е. строго меньше, чем Ft, поскольку сумма элементов T′ не меньше, чем Ft.