theorem :: SPRECT_3:10

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