theorem Th29: :: SCMRING3:30

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