Contradiction Method:
Suppose the current verticle is not the verticle that has the shortest distance from the source verticle .
Then there must be a verticle that
.
That contradicts the fact that the first chosen verticle k is the current shortest distance from .
So
In conclusion, is the shortest distance from .