同样也可以用反证法，如果执行最后一次操作会改变前面某个节点j到起点的距离（dist[j])，即通过最后某一个节点i可以使编号为j的节点到起点的距离变小。也就是start->i->j的距离小于start->j的距离，由于没有负权边，start->i的距离一定小于start->j。或者说因为如果图是连通的那么在选出一个距离最近的节点，尝试优化它相邻点的距离这一操作被执行n-1次时，第n个点的距离一定会