我看了题解，是这么维护的

inline void Cut(int x){
    Access(x);splay(x);
    //maintain some information
    t[lc].fa=0;lc=0;
}

把 $x$ 和 $x$ 的父亲的边断掉了。
但是有没有神仙给我解释一下为什么 $lc$ 就是 $x$ 的父亲啊，$x$ 的父亲不能在 $lc$ 的右子树内吗/yiw

经过 assert 测试，$lc$ 的右子树为 $0$。但是为什么呢？