\s{Vìta:} Spustíme-li meta-algoritmus na graf bez záporných cyklù, pak:
\numlist\nparen
-\:Ohodnocení $h(v)$ v¾dy odpovídá délce nìjakého sledu.
-\:$h(v)$ dokonce odpovídá délce nìjaké cesty.
+\:Ohodnocení $h(v)$ v¾dy odpovídá délce nìjakého sledu z~$u$ do~$v$.
+\:$h(v)$ dokonce odpovídá délce nìjaké cesty z~$u$ do~$v$.
\:Algoritmus se v¾dy zastaví.
\:Po zastavení jsou oznaèeny jako uzavøené právì ty vrcholy, které jsou dosa¾itelné z~$u$.
\:Po zastavení mají koneèné~$h(v)$ právì v¹echny uzavøené vrcholy.
\>\<Insert>:
\algo
\:Spoèítáme, do~které úrovnì~$i$ má prvek padnout (bitovými operacemi).
-\:Pokud je poèítadlo této úrovnì men¹í ne¾~$K$, zvý¹íme ho, vlo¾íme prvek do~haldy a skoèíme.
+\:Pokud je poèítadlo této úrovnì men¹í ne¾~$H$, zvý¹íme ho, vlo¾íme prvek do~haldy a skoèíme.
\:Nebyly-li je¹tì pro tuto úroveò zalo¾eny pøihrádky, vyrobíme prázdné.
\:Vlo¾íme prvek do~pøíslu¹né pøihrádky.
\endalgo