for R being Ring
for i1 being Nat holds JUMP (goto (i1,R)) = {i1}