theorem :: SCMRING3:10

for R being Ring
for i1 being Nat holds InsCode (goto (i1,R)) = 6 ;