theorem Th62: :: CONVEX4:63

for V being non empty CLSStruct
for M being empty Subset of V
for z being Complex holds z * M = {}