Probabilistic proof of the interchangeability of ./M/1 queues in series (Q1110927)

Given a finite number of empty./M/1 queues, let customers arrive according to an arbitrary arrival process and be served at each queue exactly once, in some fixed order. The process of departing customers from the network has the same law, whatever the order in which the queues are visited. This remarkable result, due to \textit{R. Weber} [J. Appl. Probab. 16, 690-695 (1979; Zbl 0417.60091)], is given a simple probabilistic proof.