theorem Th57: :: RVSUM_1:57

for F being real-valued FinSequence holds sqr (- F) = sqr F