for X being LinearTopSpace
for V being closed Subset of X
for r being non zero Real holds r * V is closed