theorem :: SPPOL_2:45

for p, q being Point of (TOP-REAL 2) st p <> q & ( p `1 = q `1 or p `2 = q `2 ) holds
LSeg (p,q) is being_S-P_arc