theorem Th24: :: SIMPLEX0:24

for K being SimplicialComplexStr
for S being finite Subset of K st S is simplex-like holds
card S <= (degree K) + 1