リストXの項X[h]の直前に項yを挿入した結果をINSERTITEM(X,h,y)と表す。
ここでZ=INSERTITEM(X,h,y)と仮定すると、X=ERASEITEM(Z,h)と書ける。
これは方程式Z=INSERTITEM(X,h,y)のXについての解であると言える。
一方、Z=ERASEITEM(X,h)と仮定するとX=INSERTITEM(Z,X[h])と書ける。ただ、XのうちでX[h]は未知数として残る。
私は数学者ではないので未知の項目があるときにどのように扱えばいいかはわからない。