let l be Instruction-Location of SCMPDS ; :: according to AMI_1:def 14 :: thesis: ObjectKind l = the Instructions of SCMPDS
l is Element of NAT by AMI_1:def 4;
hence ObjectKind l = the Instructions of SCMPDS by SCMPDS_1:22; :: thesis: verum