Изменения
Нет описания правки
<tex>P = \sum\limits_{v \in V, v \neq s,t}p(v)</tex>.
}}
{{Лемма
|about = 1
|statement=
Пусть <tex>l</tex> - расстояние между <tex>s</tex> и <tex>t</tex> в сети с текущим потоком, равным 0, и максимальным потоком, равным <tex>F</tex>.
и лемма доказана.
}}
{{Лемма
|about = 2
|statement=
Пусть <tex>N</tex> - сеть, а <tex>f</tex> - допустимый поток в этой сети. Тогда общий потенциал в остаточной сети <tex>N(f)</tex> равен общему потенциалу <tex>N</tex>.
|proof=
Пусть <tex>с_а</tex> - функция пропускных способностей в <tex>N(f)</tex>, а <tex>p_f(v), in_f(v), out_f(v)</tex>
}}
