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