theorem Th44: :: MESFUN11:44

for seq being ExtREAL_sequence holds Partial_Sums (- seq) = - (Partial_Sums seq)