A LCA(a, b) = LCA(b, a)

B LCA(LCA(a, b), c) = LCA(a, LCA(b, c))

C LCA(a, a) = a

D 以上全部恒成立