theorem Th48: :: FINSEQ_2:50

idseq 1 = <*1*>