theorem Th60: :: POLYFORM:62

for p being polyhedron
for k being Integer st k = - 1 holds
dim (k -bounding-chain-space p) = 1