After every step in the algorithm the following is maintained: This means that the flow through the network is a legal flow after each round in the algorithm.
Після кожного кроку в алгоритмі виходить наступне: Це означає, що потік через мережу є легальним потоком після кожного раунду в алгоритмі.