theorem Th22: :: SIMPLEX0:22

for K being SimplicialComplexStr holds
( degree K = - 1 iff K is empty-membered )