Prove that for any link (u, v), d[u, v]=Max {d(u, y) : y∈ T [v−u]} =

1+ Max{d(v, y) : y∈ T [u−v]} = Max{d[v, z] : z = u ∈ N(v)}.