theorem :: JORDAN:7

for p, p1, p2 being Point of (TOP-REAL 2) st p in LSeg (p1,p2) & LSeg (p1,p2) is horizontal holds
LSeg (p,p2) is horizontal