for p being polyhedron holds [#] ((- 1) -chain-space p) = {{},{{}}}