ArrDeletion(A: LIST, H: RINGELEM): LIST
/**/ use QQ[x,y]; /**/ A := [x, x-1, y]; /**/ ArrDeletion(A, x-1); [x, y]