theorem Th15: :: MATRIX_9:15

Rev (idseq 3) = <*3,2,1*>