theorem Th10: :: SCMFSA_2:17

for I being Instruction of SCM holds I is Instruction of SCM+FSA