theorem Th39: :: SPRECT_2:39

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