theorem Th1: :: SCM_INST:1

[0,{},{}] in SCM-Instr