for V being RealLinearSpace
for Af being finite Subset of V st not Af is empty holds
(center_of_mass V) . Af in conv Af