theorem Th53: :: POLYFORM:55

for p being polyhedron holds card ([#] ((- 1) -chain-space p)) = 2