theorem Th76: :: POLYFORM:78

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