theorem Th19: :: RLAFFIN2:19

for V being RealLinearSpace
for If being finite affinely-independent Subset of V holds
( (center_of_mass V) . If in If iff card If = 1 )