for p being polyhedron holds 1 -th-polytope (p,(dim p)) = p