theorem :: SCMRING3:39

for R being Ring
for I being Instruction of (SCM R) holds InsCode I <= 7