reconsider v = a as Element of SCM-Data-Loc by AMI_2:def 16;
[1,{},<*v*>] in SCMPDS-Instr by Th5;
hence [1,{},<*a*>] is Instruction of SCMPDS ; :: thesis: verum