明らかに
REPLACE(X,h,m,Y)=INSERT(ERASE2(X,h,m),h,Y)
である。