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