theorem Th8: :: SCMFSA_2:15

for I being Instruction of SCM+FSA st InsCode I <= 8 holds
I is Instruction of SCM