theorem Th6: :: SIMPLEX2:6

for M being non empty Reflexive MetrStruct
for K being SimplicialComplexStr st K is finite-vertices holds
K is M bounded