theorem Th21: :: CONVEX1:21

for V being RealLinearSpace
for L being Linear_Combination of V st L is convex holds
Carrier L <> {}