theorem Th2: :: SCMFSA_I:2

for I being Element of SCM+FSA-Instr st I `1_3 <= 8 holds
I in SCM-Instr