\proof
Buï~$v$ vrchol s~kladným pøebytkem.
Uva¾me mno¾inu $A := \{ u \in V \mid \hbox{existuje nenasycená cesta z~$v$ do~$u$} \}$.
-Uká¾eme, ¾e tato mno¾ína obsahuje zdroj.
+Uká¾eme, ¾e tato mno¾ina obsahuje zdroj.
Pou¾ijeme u¾ mírnì okoukaný trik: seèteme pøebytky ve~v¹ech vrcholech mno¾iny~$A$.
V¹echny hrany le¾ící celé uvnitø~$A$ nebo celé venku pøispìjí dohromady nulou.
\h{Vylep¹ení Goldbergova algoritmu}
-Základní verze Goldbervova algoritmu tedy dosáhla stejné slo¾itosti jako Dinicùv algoritmus.
+Základní verze Goldbergova algoritmu tedy dosáhla stejné slo¾itosti jako Dinicùv algoritmus.
Nyní uká¾eme, ¾e pokud budeme volit vrchol, ze~kterého budeme pøevádìt pøebytek, ¹ikovnìji
-- toti¾ jako nejvy¹¹í z~vrcholù s~nenulovým pøebytkem~--, slo¾itost se je¹tì zlep¹í.