for V being RealLinearSpace
for L being Linear_Combination of V st L is convex holds
L <> ZeroLC V by Th21, RLVECT_2:def 5;