theorem Th9: :: SCMFSA_2:16

for I being Instruction of SCM+FSA holds InsCode I <= 12