Correctness of Dijkstra's Shortest Path Algorithm

--
系統程式作業實在是太無聊了 Orz，先看演算法 XD。