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