theorem Th50: :: MEASUR12:50

for f, g being sequence of ExtREAL
for i, j being Nat st f is nonnegative & f . i = g . j & f . j = g . i & ( for n being Nat st n <> i & n <> j holds
f . n = g . n ) holds
for n being Nat st n >= i & n >= j holds
(Ser f) . n = (Ser g) . n