theorem Th50: :: RLTOPSP1:50

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