theorem
  for V being non empty CLSStruct, M being Subset of V st M = {}
  holds M is convex;
