theorem Th55: :: SPRECT_1:55

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