theorem Th68: :: RLTOPSP1:68

for V being RealLinearSpace
for v, w being Point of V holds v in LSeg (v,w)