theorem Th44: :: SPRECT_2:44

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