theorem :: AMI_3:30

for l being Element of SCM-Instr holds InsCode l <= 8 by SCM_INST:10;