thus [0,{},{}] in {[0,{},{}]} by TARSKI:def 1; :: according to COMPOS_0:def 10 :: thesis: verum