theorem Th10: :: DBLSEQ_3:10

for X being non empty set
for f1 being V183() Function of X,ExtREAL
for f2 being V184() Function of X,ExtREAL holds
( f1 - f2 = f1 + (- f2) & f2 - f1 = f2 + (- f1) & - (f1 - f2) = (- f1) + f2 & - (f2 - f1) = (- f2) + f1 )