WINAK

Er sta zo da die afstand minimaal moet zijn in da bewijs en dan zo iets tussen haakjes.. Hoe komt da? En dan zeggen ze zo wa verdere: Therefore, (u, v) cannot be an edge in Gf, waarom is da? Zou vet zijn als iemand da ff zou wille uitlegge want kheb da al paar keer geleze en ksnap da echt ni wsl is da ni eens zo moelek!

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.

ja zoiets dacht ik al kzal da gewoon zo opschrijve