theorem :: AMI_5:5

for l being Instruction of SCM holds InsCode l <= 8