theorem Th48: :: CONVEX4:48

for V being non empty CLSStruct
for M being Subset of V holds
( M is convex iff for z being Complex st ex r being Real st
( z = r & 0 < r & r < 1 ) holds
(z * M) + ((1r - z) * M) c= M )