theorem Th34: :: RLTOPSP1:34

for X being LinearTopSpace
for a being Point of X holds rng (transl (a,X)) = [#] X