Cor 19.7

convex set connected