theorem Th62: :: POLYFORM:64

for p being polyhedron holds {p} is Element of ((dim p) -chain-space p)