theorem Th50: :: FINSEQ_2:52

idseq 2 = <*1,2*> by Th48, Th49;