theorem :: SPRECT_3:11

for p, q, r, s being Point of (TOP-REAL 2) st LSeg (p,q) is horizontal & LSeg (s,r) is vertical & r in LSeg (p,q) holds
(LSeg (p,q)) /\ (LSeg (s,r)) = {r}