theorem Th40: :: COMSEQ_1:41

for seq being Complex_Sequence st seq is non-zero holds
(- seq) " = (- 1r) (#) (seq ")