请问这个性质：

点分树上两点的lca在原树上两点之间的路径上。

是怎么证明的?一定要是点分树才有这个性质吗,比如不找重心找其他的点。