add dijkstra post
my attempt at proving dijkstras