Sub1 是一条链，考虑求 LCA 时，第一次倍增不是跳到 dep[x] = dep[y] 而是 dep[x] = dep[y] + 1，这样可以保证如果 y 是 b 时不会更新 res