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.