theorem Th2: :: FINSEQ_1:2

( Seg 1 = {1} & Seg 2 = {1,2} )