Perhaps the most interesting fact about this example is that A4 = A8.
This happens because in the graph of Figure 2, no shortest path has more
than 4 edges. So, no improvements in length can occur after 4 iterations. This
situation is true in general, as the following theorem states.