为啥是 au<alca(au,av)<ava_u < a_{lca(a_u,a_v)} < a_vau<alca(au,av)<av 啊，不是 au<alca(u,v)<ava_u < a_{lca(u,v)} < a_vau<alca(u,v)<av 吗
