let l be Element of NAT ; :: according to AMI_1:def 14 :: thesis: the Object-Kind of SCMPDS . l = the Instructions of SCMPDS
thus the Object-Kind of SCMPDS . l = the Instructions of SCMPDS by SCMPDS_1:22; :: thesis: verum