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