theorem Th21: :: SPPOL_2:21

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