reserve r,s,t,u for Real;

theorem
  for X being RealLinearSpace, M being convex Subset of X holds conv(M) = M
by CONVEX1:30,CONVEX1:41;
