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