dijkstra证明