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