theorem :: RLTOPSP1:70

for V being RealLinearSpace
for v being Point of V holds LSeg (v,v) = {v}