Added proof of Dijkstra's algorithm.