theorem :: RFINSEQ2:29

for f being FinSequence of REAL holds sort_a (- f) = - (sort_d f)