Dijkstra's Algorithm Works