theorem Th70: :: SCMFSA_2:77

for i being Instruction of SCM
for I being Instruction of SCM+FSA st i = I & i is halting holds
I is halting