In the distributed Floyd-Wars hall algorithm of Figure 5.14,
(a) show that the parameter pivot is redundant on all the message types when the communication channels are FIFO.
(b) show that the parameter pivot is required on all the message types when the communication channels are non-FIFO.