theorem Th3: :: SCMFSA_I:3

[0,{},{}] in SCM+FSA-Instr by Th1, SCM_INST:1;