Ford » Ford » Bellman ford algorithm proof of correctness