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