theorem :: CONVEX1:33

for V being non empty RLSStruct
for M being empty Subset of V
for r being Real holds r * M = {} by Lm7;