theorem Th23: :: SIMPLEX0:23

for K being SimplicialComplexStr holds - 1 <= degree K