theorem Th40: :: SPRECT_2:40

for f being non trivial FinSequence of (TOP-REAL 2) holds N-max (L~ f) in rng f