theorem Th10: :: SCM_INST:10

for l being Element of SCM-Instr holds InsCode l <= 8