theorem Th42: :: SPRECT_2:42

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