theorem Th46: :: COMSEQ_1:48

for seq being Complex_Sequence holds |.seq.| " = |.(seq ").|