theorem Th19: :: SIMPLEX0:19

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