admitty optimality proof for dijkstras