for u, v, w being Element of (TOP-REAL 3) st u in LSeg (v,w) holds
|[(u `1),(u `2)]| in LSeg (|[(v `1),(v `2)]|,|[(w `1),(w `2)]|)