Uvìdomme si, ¾e uvnitø vnìj¹ího cyklu pøevládá èlen $\O(m \cdot n)$, tak¾e celková èasová slo¾itost bude $\O(n^2 \cdot m)$.
-\s{Lemma:} Hodnota~$l$ vzroste mezi fázemi alespoò o~1.
+\s{Lemma:} Hodnota~$l$ (délka nejkrat¹í cesty ze~$z$ do~$s$ v~proèi¹tìné síti) vzroste mezi fázemi alespoò o~1.
\proof