theorem Th43: :: SPRECT_2:43

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