theorem Th11: :: RLAFFIN2:11

for V being RealLinearSpace
for A being Subset of V
for L being Linear_Combination of A st L is convex & Sum L in Int A holds
Carrier L = A