theorem Th38: :: MESFUN11:38

for X being non empty set
for F being Functional_Sequence of X,ExtREAL
for x being Element of X holds (- F) # x = - (F # x)