for K being SimplicialComplexStr st the topology of K is finite & not K is finite-vertices holds
not K is finite-membered