Oznaczmy przez S zbiór wierzchołków, które zostały zanim zdjęte spośród kolejki. reportaż opiera się na następujących dwóch faktach (niezmiennikach), prawdziwych przez nieustannie trwania algorytmu:
Na początku oba fakty są oczywiste (S jest zbiorem pustym). poniżej zdejmowaniu wierzchołka u spośród kolejki wiemy, na bazie faktu 2, że nie da się do niego dojść żadną krótszą drogą przez wierzchołki spośród S. spośród drugiej strony, jako że u ma znajdujący się obok samego dołu priorytet, przejazd przez każdy dystynktywny się markiza zza S dałoby natychmiast co bynajmniej w ów sposób samo długą ścieżkę. oraz w wyniku tego dołączając markiza u do S zachowujemy prawda faktu 1. w następnej kolejności musimy uwzględnić fakt, że najkrótsza dróżka do jakiegoś wierzchołka v po wierzchołkach spośród nowego zbioru S być może współcześnie zawierać markiza u. aliści w takim razie musi on istnieć ostatnim na niej wierzchołkiem (do każdego innego dałoby się dojśc krócej nie używając u), oraz w wyniku tego jej długość równa jest d[u] + w(u,v) i zostanie słusznie obliczona w następnym kroku algorytmu.