theorem Th21: :: RVSUM_1:21

for i being natural Number
for r being Real holds - (i |-> r) = i |-> (- r)