theorem Th19: :: SCMRING2:19

for R being Ring
for I being Instruction of (SCM R) st I = [0,{},{}] holds
I is halting