let l be Instruction-Location of SCM ; :: according to AMI_1:def 14 :: thesis: ObjectKind l = the Instructions of SCM
l in NAT by AMI_1:def 4;
hence ObjectKind l = the Instructions of SCM by AMI_2:11; :: thesis: verum