theorem :: AMI_3:15

for I being Instruction of SCM st I = [0,{},{}] holds
I is halting by Lm3;