theorem :: RVSUM_2:7

for c being Complex holds - <*c*> = <*(- c)*>