theorem Th41: :: SPRECT_2:41

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