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