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