bool on_path(int x, int y, int z){
	int k = LCA(x, z);
	return (LCA(x, y) == y || LCA(y, z) == y) && LCA(y, k) == k;
}

这段代码是我在一篇题解看到的，就是判断y是否在x到z的路径上。

这段代码是对的吗，对的话原理是什么？不对的话要怎么判断？