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