theorem :: SIMPLEX0:18

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