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