theorem Th46: :: SPRECT_2:46

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