Изменения

Пусть существует такая вершина <tex>u</tex>, после подъема, что ребро <tex>(u, v)</tex> допустимо. Тогда <tex>h[v] = h[u] + 1</tex>, значит, перед подъемом <tex>h[v] > h[u] + 1</tex>. Но между вершинами, высоты которых отличаются более чем на 1, не существует остаточных сетей. Кроме того, подъем вершины не меняет остаточную сеть. Значит, ребро <tex>(v, u)</tex> не может находится в допустимой сети, так как оно не принадлежит остаточной сети.

}}

== Операция разгрузки (discharge) ==