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