theorem Th16: :: COMSEQ_3:16

for seq being Complex_Sequence holds
( - (Re seq) = Re (- seq) & - (Im seq) = Im (- seq) )