theorem :: RVSUM_1:20

for r being Real holds - <*r*> = <*(- r)*>