theorem Th18: :: RLTOPSP1:18

for X being RealLinearSpace
for M being Subset of X
for r being Real holds r * (conv M) = conv (r * M)