[7,<*l*>,<*a*>] in SCM-Instr R by Th6;
hence [7,<*l*>,<*a*>] is Instruction of (SCM R) by Def1; :: thesis: verum