void _rotate(int x)
{
	int y=fa[x],z=fa[y],k=direct(x),w=son[x][k^1];
	son[z][direct(y)]=x;fa[x]=z;
	son[x][k^1]=y;fa[y]=x;
	son[y][k]=w;fa[w]=k;
	pushup(x);
	pushup(y);
}

旋转后，$x$ 是 $y$ 的父亲，不应该先pushup(y)再pushup(x)，才是对的吗？为什么pushup的顺序不影响答案