theorem Th114: :: RVSUM_1:114

for x being real-valued FinSequence holds len (- x) = len x