theorem Th52: :: SPRECT_1:52

for p, q being Point of (TOP-REAL 2) st p `1 <= q `1 holds
proj1 .: (LSeg (p,q)) = [.(p `1),(q `1).]