theorem :: RLTOPSP1:17

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