text: Обозначив расстояния от s до u и v до и после увеличения потока соответственно через d u {\displaystyle d_{u}\ } , d u ′ {\displaystyle d_{u}^{'}} , d v {\displaystyle d_{v}\ } , d v ′ {\displaystyle d_{v}^{'}} , имеем: d v ′ < d v {\displaystyle d_{v}^{'}<d_{v}} d u ′ ≥ d u {\displaystyle d_{u}^{'}\geq d_{u}} d v ′ = d u ′ + 1 {\displaystyle d_{v}^{'}=d_{u}^{'}+1} , откуда d v ≥ d u + 2 {\displaystyle d_{v}\geq d_{u}+2} Следовательно, до увеличения потока дуга (u, v) отсутствовала в остаточной сети.