for K being SimplicialComplexStr holds - 1 <= degree K