theorem Th9: :: SIMPLEX0:9

for X being set st not X is empty & X is finite & X is c=-linear holds
union X in X