2
|statement=
Количество увеличивающих путей на <tex> k </tex>-ом уровне не превосходит <tex> 2E </tex>.
|proof=
Следует из предыдущей леммы. Каждый увеличивающий путь на <tex> k </tex>-ом уровне имеет пропускную способность не меньше <tex> 2^k </tex>.На предыдущей итерации поток ограничен значением <tex> 2^{k + 1} E </tex> по предыдущей лемме. Следовательно, количество дополняющих путей не превосходит <tex> 2E </tex>.
}}
