theorem THNOIX: :: GTARSKI2:37

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