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