theorem Th33: :: SPPOL_2:33

for f being FinSequence of (TOP-REAL 2) st len f <= 2 holds
f is s.n.c.