for K being SimplicialComplexStr st K is finite-vertices holds
the topology of K is finite by Lm6;