theorem :: SCMRINGI:10

for S being non empty 1-sorted
for i1 being Nat holds [6,<*i1*>,{}] in SCM-Instr S