theorem Th59: :: SCMPDS_2:63

for I being Instruction of SCMPDS st I = [0,{},{}] holds
I is halting