theorem Th37: :: RLTOPSP1:37

for X being LinearTopSpace
for x being Point of X
for V being Subset of X holds x + (Int V) = Int (x + V)