证明Dijkstra最优