theorem :: RVSUM_1:24

for R1, R2 being complex-valued Function st - R1 = - R2 holds
R1 = R2