theorem Th37: :: MESFUN11:37

for X being non empty set
for F being Functional_Sequence of X,ExtREAL
for n being Nat holds (- F) . n = - (F . n)