pRBT ithSuccessor(pRBT root,pRBT x,int i) { int r=x->size; int j=getIndex(root,x); pRBT y=at(root,j+i); return y; }