theorem :: SCMPDS_2:6

for I being Instruction of SCMPDS holds InsCode I <= 14