theorem Th55: :: ORDERS_5:46

for A being Preorder
for f being finite-support Function of A,REAL holds eqSumOf (- f) = - (eqSumOf f)