theorem Th18: :: SPPOL_2:18

for f being FinSequence of (TOP-REAL 2) st len f >= 2 holds
rng f c= L~ f