[5,<*a,r*>] in SCM-Instr R by Th5;
hence [5,<*a,r*>] is Instruction of by Def1; :: thesis: verum