theorem Th8: :: SPRECT_1:8

for p, q, r being Point of (TOP-REAL 2) holds L~ <*p,q,r*> = (LSeg (p,q)) \/ (LSeg (q,r))