theorem :: CONVEX4:45

for V being non empty vector-distributive scalar-distributive scalar-associative scalar-unital CLSStruct
for M being Subset of V
for z being Complex st M is convex holds
z * M is convex