theorem Th61: :: POLYFORM:63

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