theorem Th20: :: RLAFFIN2:20

for V being RealLinearSpace
for If being finite affinely-independent Subset of V st not If is empty holds
(center_of_mass V) . If in Int If