Изменения

Для доказательства мы воспользуемся будем ползьоваться развитой раннее [[Определение сети, потока|теорией потоков]]. Кроме базовых определений нам потребуются понятия потребуется понятие [[Дополняющая сеть, дополняющий путь| остаточной сети]] (иначе - дополнительной сети), а также [[Теорема_Форда-Фалкерсона|теорема Форда-Фалкерсона]]. Кроме того потребуется лемма о целочисленности потока, которую сейчас и докажем: