theorem Th19: :: SPPOL_1:19

for i being Nat
for f being FinSequence of the carrier of (TOP-REAL 2) holds
( not f is special or LSeg (f,i) is vertical or LSeg (f,i) is horizontal )