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