theorem Th56: :: SPRECT_1:56

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