for p, q being Point of (TOP-REAL 2) holds
( p `2 = q `2 iff LSeg (p,q) is horizontal )