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