theorem THORANGE2: :: GTARSKI2:35

for A, B, C, D being Element of (TOP-REAL 2) st B <> C & B in LSeg (A,C) & C in LSeg (B,D) holds
C in LSeg (A,D)