theorem Th85: :: SCMFSA_2:92

for I being Instruction of SCM+FSA st InsCode I = 0 holds
I = [0,{},{}]