theorem Th49: :: RLTOPSP1:49

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