for V being RealLinearSpace
for v, w being Point of V
for x being object st x in LSeg (v,w) holds
ex r being Real st
( 0 <= r & r <= 1 & x = ((1 - r) * v) + (r * w) )