theorem Th1: :: SCMFSA_I:1

SCM-Instr c= SCM+FSA-Instr