theorem :: CONVEX1:22

for V being RealLinearSpace
for L being Linear_Combination of V
for v being VECTOR of V st L is convex & L . v <= 0 holds
not v in Carrier L