theorem Th54: :: SPRECT_1:54

for p, q being Point of (TOP-REAL 2) st p `1 <= q `1 holds
W-bound (LSeg (p,q)) = p `1