theorem Th11: :: SCMRING3:12

for R being Ring
for I being Instruction of (SCM R) st InsCode I = 0 holds
I = halt (SCM R)