theorem Th5:
  [6,<*i1*>,{}] in SCM-Instr S by SCMRINGI:10;
