您好，关于文中的证明我有一点疑问：

设 lca(u,v) = T.

那么第四行的式子无异于： d(T,u) ≥ d(T,v)

代入 d(u,v) = d(T,u) + d(T,v) 就能得出 d(u,v) ≤ d(v,x) ?

似乎有点跳跃。。。能不能请您再稍微解释一下？