Изменения
Нет описания правки
|proof=
Пусть <tex> g </tex> {{---}} минимальный поток величины <tex>a + \delta</tex> в <tex>G</tex>. Рассмотрим поток <tex>g - f</tex> в сети <tex>G_f</tex>. Его величина равна <tex>\delta</tex>.
По [[Теорема о декомпозиции|теореме о декомпозиции]] его можно представить как сумму элементарных потоков вдоль путей <tex>P_i : s \leadsto t</tex> и циклов <tex>C_i</tex>. По [[Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети|лемме]] в этом представлении нет отрицательных циклов, так как поток <tex>f</tex> минимальный, положительных циклов нет, так как поток <tex>g</tex> минимальный. То есть <tex>p(C_i) = 0</tex> для всех циклов.
