Correctness Of Dijkstra Algorithm Simplified