theorem Th29: :: RLAFFIN2:29

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