theorem THORANGE: :: GTARSKI2:34

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