theorem Th52: :: RLTOPSP1:52

for X being LinearTopSpace
for A being Subset of X
for r being non zero Real holds r * (Cl A) = Cl (r * A)