theorem Th8: :: SIMPLEX1:8

for RLS being non empty RLSStruct
for A being Subset of RLS holds |.(Complex_of {A}).| = conv A