theorem Th48: :: MEASUR12:48

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