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