let l be Element of NAT ; :: according to COMPOS_1:def 8 :: 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