theorem Th54: :: POLYFORM:56

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