theorem Th6: :: SCMRINGI:6

for S being non empty 1-sorted holds [0,{},{}] in SCM-Instr S