theorem Th52: :: CONVEX4:52

for V being ComplexLinearSpace
for M being non empty Subset of V holds 0c * M = {(0. V)}