theorem Th10: :: RVSUM_2:10

for F1, F2 being complex-valued FinSequence holds - (F1 + F2) = (- F1) + (- F2)