theorem Th63: :: POLYFORM:65

for p being polyhedron holds {p} in [#] ((dim p) -chain-space p)