theorem Th77: :: RLTOPSP1:77

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