theorem Th2: :: MATRIX11:2

( 2Set (Seg 0) = {} & 2Set (Seg 1) = {} ) by FINSEQ_1:2;