loc in NAT by ORDINAL1:def 13;
hence [6,<*loc*>] is Instruction of by AMI_2:3; :: thesis: verum