Consider the following use of the M message: a leaf will include a value v = 1; an internal node will include one plus the maximum of all the received values. Prove that the saturated nodes will compute their maximum distance from all other nodes.