增加对Dijkstra的证明