theorem Th48: :: FINSEQ_2:50
idseq 1 = <*1*>