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