Лемма об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети

Лемма (об эквивалентности свойства потока быть минимальной стоимости и отсутствии отрицательных циклов в остаточной сети):

Следующие два утверждения эквивалентны: [math] f [/math] - поток минимальной стоимости. В остаточной сети [math] G_f [/math] нет циклов отрицательного веса.