f' komt na f.
En omdat ermonds-karp het kortste pad neemt veronderstellen we het omgekeerde.
Dus sigma_f(s, v) > sigma_f'(s, v) (dit is dus fout he
)
met sigma_f'(s, v) minimaal: als er toch een korter pad in f' bestaat (s, u) dan was het in de vorige flow f maximaal even lang, dus hadden we toen (s, u) moeten selecteren.