ri-1 ...r2 r1 ri ri+1 ...rlast
r1 r2 ...rlast
ri-1 ...r2 r1 ri ri+1 ...rlast => ri ri-1 ...r2 r1 ri+1 ...rlast
ri ...r2 r1 r' ri+1 ...rlast