theorem :: CONVEX1:7

for V being RealLinearSpace
for M being Subset of V
for v being VECTOR of V holds
( M is convex iff v + M is convex )