In this paper we prove the correctness of Dijkstras algorithm. We also discuss it and at the end we show an application.