theorem :: RLAFFIN2:30

for V being RealLinearSpace
for F being c=-linear Subset-Family of V st union F is affinely-independent & union F is finite holds
Int ((center_of_mass V) .: F) c= Int (union F)