theorem :: SIMPLEX0:44

for X being set
for KX being SimplicialComplexStr of X
for i being dim-like number st - 1 <= i holds
degree (Skeleton_of (KX,i)) <= i