for V being RealLinearSpace
for v, w being Point of V holds LSeg (v,w) c= Line (v,w)