
theorem
  for V being RealLinearSpace, M be Subset of V holds Convex-Family M <> {};
