Dokaz pravilnosti za Dijkstrin Algoritem (19 min)