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