theorem Th30: :: SCMRING3:31

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