theorem Th45: :: SPRECT_2:45

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