thus [0,{},{}] in SCM-Instr by Th1; :: according to COMPOS_0:def 10 :: thesis: verum